Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/nfs/nfs4proc.c nfs41_proc_async_sequence() -> _nfs41_proc_sequence()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | clp | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_mvops | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_mvops->state_renewal_ops | 41887510811009024,3250995145717530624 |
| PARAM_VALUE | 1 | cred | 4096-ptr_max |
| PARAM_VALUE | 2 | slot | 0 |
| PARAM_VALUE | 3 | is_privileged | 0 |
| DATA_SOURCE | 0 | clp | $0 |
| DATA_SOURCE | 1 | cred | $1 |
| HALF_LOCKED2 | &pool->lock |
fs/nfs/nfs4proc.c nfs4_probe_sequence() -> _nfs41_proc_sequence()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | slot | 4096-ptr_max |
| PARAM_VALUE | 2 | slot->seq_done | 0 |
| PARAM_VALUE | 2 | slot->table | 4096-ptr_max |
| PARAM_VALUE | 2 | slot->table->session | 4096-ptr_max |
| PARAM_VALUE | 3 | is_privileged | 1 |
| DATA_SOURCE | 0 | clp | $0 |
| DATA_SOURCE | 1 | cred | $1 |
| DATA_SOURCE | 2 | slot | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/nfs/nfs4proc.c nfs4_proc_sequence() -> _nfs41_proc_sequence()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | clp | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_mvops | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_mvops->state_renewal_ops | 41887510811009024,3250995145717530624 |
| PARAM_VALUE | 1 | cred | 4096-ptr_max |
| PARAM_VALUE | 2 | slot | 0 |
| PARAM_VALUE | 3 | is_privileged | 1 |
| DATA_SOURCE | 0 | clp | $0 |
| DATA_SOURCE | 1 | cred | $1 |