Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/nfsd/nfs4state.c nfsd4_destroy_session() -> nfsd4_probe_callback_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | clp | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_lock.rlock.dep_map->name | 0-255 |
| 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 |
| CAPPED_DATA | 0 | clp->net->gen | 1 |
| NOCHECK_CALL |
fs/nfsd/nfs4state.c nfsd4_init_conn() -> nfsd4_probe_callback_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | clp | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | clp->cl_state | 0 |
| NOCHECK_CALL |