Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/nfsd/nfs4state.c nfsd4_init_conn() -> nfsd4_hash_conn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | conn | 4096-ptr_max |
| PARAM_VALUE | 1 | ses | 4096-ptr_max |
| PARAM_VALUE | 1 | ses->se_client | 4096-ptr_max |
| PARAM_VALUE | 1 | ses->se_client->cl_state | 0 |
| PARAM_VALUE | 1 | ses->se_dead | 0 |
| PARAM_VALUE | 1 | *ses->se_cb_seq_nr | 0-4294967295 |
| BUF_SIZE | 0 | conn | 64 |
| BUF_SIZE | 1 | ses | (-1),472 |
| BUF_SIZE | 1 | ses | (-1),472 |
| CAPPED_DATA | 1 | ses->se_client->net->gen | 1 |
| DATA_SOURCE | 0 | conn | $1 |
| DATA_SOURCE | 1 | ses | $2 |
| NOCHECK_CALL |