Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfsd/nfs4proc.c do_open_fhandle() -> nfsd4_set_open_owner_reply_cache()

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 0 cstate->replay_owner->so_replay.rp_buflen 0-4000000,2147483648-u32max
PARAM_VALUE 1 open 4096-ptr_max
PARAM_VALUE 1 open->op_claim_type 1,4-5
PARAM_VALUE 1 open->op_create 0
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_openowner->oo_owner.so_replay.rp_status 0-10017,10019-10065,10068-u32max
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 2 resfh 4096-ptr_max
PARAM_VALUE 2 resfh->fh_post_saved 0
PARAM_VALUE 2 resfh->fh_pre_saved 0
BUF_SIZE 0 cstate 928
BUF_SIZE 1 open 352
BUF_SIZE 1 open->op_rqstp 128
BUF_SIZE 2 resfh 416
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
DATA_SOURCE 1 open $2
PARAM_COMPARE 0 &cstate->current_fh == $2
MEM_ZERO 1 &open->op_cinfo
NOCHECK_CALL
USER_DATA 1 open->op_rqstp->rq_xid 0-u32max

fs/nfsd/nfs4proc.c do_open_lookup() -> nfsd4_set_open_owner_reply_cache()

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_dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 cstate->current_fh.fh_dentry->d_inode->i_rwsem.first_waiter->type 0-1
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 1 open 4096-ptr_max
PARAM_VALUE 1 open->op_claim_type 0,2
PARAM_VALUE 1 open->op_file 1-u64max
PARAM_VALUE 1 open->op_filp 0,4096-ptr_max
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_openowner->oo_owner.so_replay.rp_status 0-10017,10019-10065,10068-u32max
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 2 resfh 4096-ptr_max
PARAM_VALUE 2 resfh->fh_dentry 4096-ptr_max
PARAM_VALUE 2 resfh->fh_flags 0
PARAM_VALUE 2 resfh->fh_maxsize 128
BUF_SIZE 0 cstate 928
BUF_SIZE 1 open 352
BUF_SIZE 1 open->op_rqstp 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
DATA_SOURCE 1 open $2
DATA_SOURCE 2 resfh r _kmalloc_noprof
NOCHECK_CALL
USER_DATA 1 open->op_rqstp->rq_xid 0-u32max