Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/nfs/nfs4proc.c nfs41_test_stateid() -> nfs4_handle_delay_or_session_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | server | 4096-ptr_max |
| PARAM_VALUE | 0 | server->nfs_client | 4096-ptr_max |
| PARAM_VALUE | 0 | server->nfs_client->cl_mvops | 4096-ptr_max |
| PARAM_VALUE | 0 | server->nfs_client->cl_mvops->call_sync_ops | 4176931433756049408,5689231960991195136 |
| PARAM_VALUE | 2 | exception | 2075919705556328448 |
| PARAM_VALUE | 2 | exception->inode | 0 |
| PARAM_VALUE | 2 | exception->interruptible | 1 |
| PARAM_VALUE | 2 | exception->retrans | 0 |
| PARAM_VALUE | 2 | exception->state | 0 |
| PARAM_VALUE | 2 | exception->stateid | 0 |
| PARAM_VALUE | 2 | exception->task_is_privileged | 0 |
| PARAM_VALUE | 2 | exception->timeout | 0 |
| BUF_SIZE | 0 | server | (-1),1-s32max |
| BUF_SIZE | 0 | server | (-1),1-s32max |
| DATA_SOURCE | 0 | server | $0 |
| DATA_SOURCE | 1 | err | r _nfs41_test_stateid |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | server | unit_byte |