Defined in 1 files as a macro:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/nfs4proc.c nfs4_proc_write_setup() -> nfs4_state_protect_write()

Type Parameter Key Value
PARAM_VALUE 0 clp 1-u64max
PARAM_VALUE 1 clntp 1037960798450003976
PARAM_VALUE 2 msg 6204384527756906496
PARAM_VALUE 3 hdr 4096-ptr_max
PARAM_VALUE 3 hdr->args.stable 0,2
BUF_SIZE 2 msg->rpc_proc 3312
BUF_SIZE 3 hdr (-1)-s32max
BUF_SIZE 3 hdr (-1)-s32max
BUF_SIZE 3 hdr->args.bitmask 0,12
BUF_SIZE 3 hdr->lseg (-1)-0,96
BUF_SIZE 3 hdr->res.server 1-s32max
DATA_SOURCE 1 clntp $2
DATA_SOURCE 2 msg $1
DATA_SOURCE 3 hdr $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 3 hdr->inode->i_size
NO_OVERFLOW_SIMPLE 3 hdr->pgio_mirror_idx