Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/nfs/nfs4client.c nfs4_find_or_create_ds_client() -> nfs4_free_ds_server()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dss | 4096-ptr_max |
| PARAM_VALUE | 0 | dss->list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dss->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dss->rpc_clnt | 4096-ptr_max |
| BUF_SIZE | 0 | dss | 24 |
| CAPPED_DATA | 0 | dss->rpc_clnt | 1 |
| CAPPED_DATA | 0 | dss->rpc_clnt->cl_auth->au_flavor | 1 |
| CAPPED_DATA | 0 | dss->rpc_clnt->cl_maxproc | 1 |
| CAPPED_DATA | 0 | dss->rpc_clnt->cl_xprt | 1 |
| DATA_SOURCE | 0 | dss | r nfs4_alloc_ds_server |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |