Defined in 1 files as a prototype:

Defined in 2 files as a member:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

fs/nfsd/nfs4state.c free_client() -> free_session()

Type Parameter Key Value
PARAM_VALUE 0 ses 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfsd/nfs4state.c nfsd4_put_session_locked() -> free_session()

Type Parameter Key Value
PARAM_VALUE 0 ses 4096-ptr_max
PARAM_VALUE 0 ses->se_client 4096-ptr_max
PARAM_VALUE 0 ses->se_client->net 4096-ptr_max
PARAM_VALUE 0 ses->se_client->net->gen 4096-ptr_max
PARAM_VALUE 0 ses->se_dead 1
PARAM_VALUE 0 *ses->se_cb_seq_nr 0-4294967295
BUF_SIZE 0 ses (-1),472
BUF_SIZE 0 ses (-1),472
CAPPED_DATA 0 ses->se_client->net->gen 1
DATA_SOURCE 0 ses $0
PREEMPT_ADD
NOCHECK_CALL
LOCK2 &nn->client_lock
TYPE_LOCK (struct nfsd_net)->client_lock