Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/nfs/nfs4proc.c nfs4_state_protect() -> _nfs4_state_protect()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | sp4_mode | 2-4,6-7 |
| PARAM_VALUE | 2 | clntp | 1469099634978246656,5233434271828545544,6189512407627743232,6577294861357195272,6759065816673771528,7680907011134906376,9007492611030728712,9080866420208283656 |
| PARAM_VALUE | 3 | msg | 410794738976337920,1556514909561933824,3816248727983525888,4426179203369349120,5619156618547232768,6962036039421456384,7104040491109150720,8523546358622732288 |
| BUF_SIZE | 3 | msg->rpc_proc | (-1),3264 |
| DATA_SOURCE | 0 | clp | $0 |
| DATA_SOURCE | 1 | sp4_mode | $1 |
| DATA_SOURCE | 2 | clntp | $2 |
| DATA_SOURCE | 3 | msg | $3 |
| HARD_MAX | 1 | sp4_mode | 7 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/nfs/nfs4proc.c nfs4_state_protect_write() -> _nfs4_state_protect()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | clp | 1-u64max |
| PARAM_VALUE | 1 | sp4_mode | 5 |
| PARAM_VALUE | 2 | clntp | 1037960798450003976 |
| PARAM_VALUE | 3 | msg | 6204384527756906496 |
| BUF_SIZE | 3 | msg->rpc_argp | 112 |
| BUF_SIZE | 3 | msg->rpc_proc | 3312 |
| BUF_SIZE | 3 | msg->rpc_resp | 80 |
| DATA_SOURCE | 0 | clp | $0 |
| DATA_SOURCE | 2 | clntp | $1 |
| DATA_SOURCE | 3 | msg | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING |