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 nfs4_check_open_reclaim() -> nfsd4_client_record_check()
| 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_openowners.next | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_openowners.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_openowners.next->prev | 4096-ptr_max |
| CAPPED_DATA | 0 | clp->cl_clientid.cl_boot | 1 |
| CAPPED_DATA | 0 | clp->cl_clientid.cl_id | 1 |
| CAPPED_DATA | 0 | clp->cl_stateids.idr_base | 1 |
| DATA_SOURCE | 0 | clp | $0 |