Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfsd/nfs4state.c nfs4_preprocess_seqid_op() -> nfs4_seqid_op_checks()

Type Parameter Key Value
PARAM_VALUE 0 cstate 4096-ptr_max
PARAM_VALUE 0 cstate->clp 0,4096-ptr_max
PARAM_VALUE 0 cstate->clp->cl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cstate->current_fh.fh_post_saved 0
PARAM_VALUE 0 cstate->current_fh.fh_pre_saved 0
PARAM_VALUE 0 cstate->replay_owner 4096-ptr_max
PARAM_VALUE 0 cstate->replay_owner->so_replay.rp_buflen 0-4000000,2147483648-u32max
PARAM_VALUE 3 stp 4096-ptr_max
PARAM_VALUE 3 stp->st_stateowner->so_replay.rp_locked 0-s32max
PARAM_VALUE 3 stp->st_stid.sc_client->cl_lock.rlock.dep_map->name 0-255
BUF_SIZE 0 cstate (-1),928
BUF_SIZE 0 cstate (-1),928
CAPPED_DATA 1 stateid->si_opaque.so_clid.cl_boot 1
CAPPED_DATA 1 stateid->si_opaque.so_clid.cl_id 1
DATA_SOURCE 0 cstate $0
DATA_SOURCE 1 stateid $2
DATA_SOURCE 2 seqid $1
DATA_SOURCE 3 stp r openlockstateid