Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfsd/nfs4proc.c nfsd4_open() -> nfsd4_check_open_attributes()

Type Parameter Key Value
PARAM_VALUE 0 cstate 4096-ptr_max
PARAM_VALUE 0 cstate->clp 4096-ptr_max
PARAM_VALUE 0 cstate->clp->cl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cstate->clp->cl_openowners.next 4096-ptr_max
PARAM_VALUE 0 cstate->clp->cl_openowners.next->next 4096-ptr_max
PARAM_VALUE 0 cstate->clp->cl_openowners.next->prev 4096-ptr_max
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 1 open 4096-ptr_max
PARAM_VALUE 1 open->op_created 0
PARAM_VALUE 1 open->op_file 1-u64max
PARAM_VALUE 1 open->op_filp 0
PARAM_VALUE 1 open->op_odstate 4096-ptr_max
PARAM_VALUE 1 open->op_odstate->co_client 4096-ptr_max
PARAM_VALUE 1 open->op_odstate->co_odcount.refs.counter 1
PARAM_VALUE 1 open->op_openowner 4096-ptr_max
PARAM_VALUE 1 open->op_rqstp 4096-ptr_max
PARAM_VALUE 1 open->op_rqstp->rq_xprt 0,4096-ptr_max
PARAM_VALUE 1 open->op_stp 4096-ptr_max
PARAM_VALUE 1 open->op_xdr_error 0
PARAM_VALUE 1 *open->op_rqstp->rq_pages 4096-ptr_max
PARAM_VALUE 1 *open->op_rqstp->rq_respages 4096-ptr_max
BUF_SIZE 0 cstate 928
BUF_SIZE 1 open 352
BUF_SIZE 1 open->op_rqstp (-1),128
CAPPED_DATA 0 cstate->clp->cl_clientid.cl_boot 1
CAPPED_DATA 0 cstate->clp->cl_clientid.cl_id 1
CAPPED_DATA 0 cstate->clp->cl_stateids.idr_base 1
CAPPED_DATA 1 open->op_clientid.cl_boot 1
CAPPED_DATA 1 open->op_clientid.cl_id 1
DATA_SOURCE 0 cstate $1
PARAM_COMPARE 0 cstate->clp->cl_clientid.cl_boot == $1->op_clientid.cl_boot
PARAM_COMPARE 0 cstate->clp->cl_clientid.cl_id == $1->op_clientid.cl_id
BIT_INFO 0 cstate 0x28,0xffffffffffffffff
BIT_INFO 0 cstate 0x28,0xffffffffffffffff
USER_DATA 1 open->op_rqstp->rq_xid 0-u32max