Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/nfsd/nfs4callback.c nfsd4_cb_probe_done() -> nfsd4_mark_cb_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | clp | 4096-ptr_max |
| PARAM_VALUE | 1 | newstate | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/nfsd/nfs4callback.c nfsd4_change_callback() -> nfsd4_mark_cb_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | clp | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_state | 0 |
| 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 | newstate | 1 |
| CAPPED_DATA | 0 | clp->cl_clientid.cl_boot | 1 |
| CAPPED_DATA | 0 | clp->cl_clientid.cl_id | 1 |
| CAPPED_DATA | 0 | clp->cl_cred.cr_group_info->ngroups | 1 |
| CAPPED_DATA | 0 | clp->cl_cred.cr_principal | 1 |
| CAPPED_DATA | 0 | clp->cl_minorversion | 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 |
fs/nfsd/nfs4callback.c nfsd4_mark_cb_down() -> nfsd4_mark_cb_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | clp | 4096-ptr_max |
| PARAM_VALUE | 1 | newstate | 2 |
| DATA_SOURCE | 0 | clp | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | clp->cl_cb_client->cl_maxproc | |
| HALF_LOCKED2 | &pool->lock |
fs/nfsd/nfs4callback.c nfsd4_mark_cb_fault() -> nfsd4_mark_cb_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | clp | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_cb_session | 1-u64max |
| PARAM_VALUE | 0 | clp->cl_minorversion | 1-u32max |
| PARAM_VALUE | 1 | newstate | 3 |
| DATA_SOURCE | 0 | clp | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &pool->lock |
fs/nfsd/nfs4callback.c nfsd4_probe_callback() -> nfsd4_mark_cb_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | newstate | 1 |
| DATA_SOURCE | 0 | clp | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | 0 | &clp->cl_lock |
fs/nfsd/nfs4callback.c nfsd4_run_cb_work() -> nfsd4_mark_cb_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | clp | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_cb_client | 1-u64max |
| PARAM_VALUE | 0 | clp->cl_minorversion | 1-u32max |
| PARAM_VALUE | 0 | clp->cl_state | 0,2-u32max |
| PARAM_VALUE | 1 | newstate | 0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |