Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfsd/nfs4state.c put_client_no_renew() -> __put_client_locked()

Type Parameter Key Value
PARAM_VALUE 0 clp 4096-ptr_max
PARAM_VALUE 0 clp->net 4096-ptr_max
PARAM_VALUE 0 clp->net->gen 4096-ptr_max
PARAM_VALUE 1 renew 0
CAPPED_DATA 0 clp->net->gen 1
DATA_SOURCE 0 clp $0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &nn->client_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct nfsd_net)->client_lock

fs/nfsd/nfs4state.c put_client_no_renew_locked() -> __put_client_locked()

Type Parameter Key Value
PARAM_VALUE 0 clp 4096-ptr_max
PARAM_VALUE 0 clp->cl_time s64min-(-1),1-s64max
PARAM_VALUE 0 clp->net 4096-ptr_max
PARAM_VALUE 0 clp->net->gen 4096-ptr_max
PARAM_VALUE 1 renew 0
CAPPED_DATA 0 clp->net->gen 1
DATA_SOURCE 0 clp $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &nn->client_lock
HALF_LOCKED2 global &nfsd_mutex
HALF_LOCKED2 0 &clp->cl_lock
TYPE_LOCK (struct nfsd_net)->client_lock

fs/nfsd/nfs4state.c put_client_renew() -> __put_client_locked()

Type Parameter Key Value
PARAM_VALUE 0 clp 4096-ptr_max
PARAM_VALUE 0 clp->net 4096-ptr_max
PARAM_VALUE 0 clp->net->gen 4096-ptr_max
PARAM_VALUE 1 renew 1
CAPPED_DATA 0 clp->net->gen 1
DATA_SOURCE 0 clp $0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &nn->client_lock
TYPE_LOCK (struct nfsd_net)->client_lock

fs/nfsd/nfs4state.c put_client_renew_locked() -> __put_client_locked()

Type Parameter Key Value
PARAM_VALUE 0 clp 4096-ptr_max
PARAM_VALUE 0 clp->net 4096-ptr_max
PARAM_VALUE 0 clp->net->gen 4096-ptr_max
PARAM_VALUE 1 renew 1
CAPPED_DATA 0 clp 1
CAPPED_DATA 0 clp->net->gen 1
DATA_SOURCE 0 clp $0
PREEMPT_ADD
NOCHECK_CALL
LOCK2 &nn->client_lock
TYPE_LOCK (struct nfsd_net)->client_lock