Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 rqstp 4096-ptr_max
PARAM_VALUE 0 rqstp->rq_arg.head 4096-ptr_max
PARAM_VALUE 0 rqstp->rq_arg_stream->end 0-u32max
PARAM_VALUE 0 rqstp->rq_arg_stream->p 0-u32max
PARAM_VALUE 0 rqstp->rq_arg_stream->scratch.iov_base 0-255
PARAM_VALUE 0 rqstp->rq_arg_stream.rqst->rq_reply_bytes_recvd 1-u64max
PARAM_VALUE 0 rqstp->rq_auth_data->gsd_seq_num 0-4294967295
PARAM_VALUE 0 rqstp->rq_authop->accept 0,1103036785373782016,1687358314115878912,5247644339162972160,7875779351090917376
PARAM_VALUE 0 rqstp->rq_authop->domain_release 0,2296223070751191040,6648909504522293248
PARAM_VALUE 0 rqstp->rq_authop->flavour 0-1,6-7
PARAM_VALUE 0 rqstp->rq_authop->name 0,881490221644312576,1763101329338228736,4907575241036689408,6547218313901944832
PARAM_VALUE 0 rqstp->rq_authop->owner 0,4096-ptr_max
PARAM_VALUE 0 rqstp->rq_authop->pseudoflavor 0,2801009937932914688
PARAM_VALUE 0 rqstp->rq_authop->release 0,525178101793169408,1013124013322760192,3624773763029225472
PARAM_VALUE 0 rqstp->rq_authop->set_client 0,4643772739257647104,6099676139357782016
PARAM_VALUE 0 rqstp->rq_cred.cr_group_info->usage.refs.counter 1
PARAM_VALUE 0 rqstp->rq_procinfo->pc_func 1-u64max
PARAM_VALUE 0 rqstp->rq_procinfo->pc_xdrressize 0-1,6,19,22-24,27,29-30,32,34-36,52,59,62,70,258-259,519,521,1048,2068,3072,6150,1048579,1048603
PARAM_VALUE 0 rqstp->rq_res.head 4096-ptr_max
PARAM_VALUE 0 rqstp->rq_res_stream->p 0-u32max
PARAM_VALUE 0 rqstp->rq_res_stream.buf->head->iov_len 0-4294967295
PARAM_VALUE 0 rqstp->rq_resp->cstate.spo_must_allowed 0-1
PARAM_VALUE 0 rqstp->rq_server->sv_nprogs 0-s32max
PARAM_VALUE 0 rqstp->rq_server->sv_programs 4096-ptr_max
PARAM_VALUE 0 rqstp->rq_server->sv_stats 0,4096-ptr_max
PARAM_VALUE 0 rqstp->rq_xprt 0,4096-ptr_max
PARAM_VALUE 0 rqstp->rq_xprt->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 rqstp->rq_xprt->ns_tracker->dead 0-1
PARAM_VALUE 0 rqstp->rq_xprt->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 rqstp->rq_xprt->xpt_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 rqstp->rq_xprt->xpt_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 rqstp->rq_xprt->xpt_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 rqstp->rq_xprt->xpt_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 rqstp->rq_xprt->xpt_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 rqstp->rq_xprt->xpt_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 rqstp->rq_xprt->xpt_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 rqstp->rq_xprt->xpt_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 *rqstp->rq_pages 4096-ptr_max
PARAM_VALUE 0 *rqstp->rq_respages 4096-ptr_max
PARAM_VALUE 1 cstate 4096-ptr_max
PARAM_VALUE 1 cstate->clp 4096-ptr_max
PARAM_VALUE 1 cstate->clp->cl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 cstate->clp->cl_openowners.next 4096-ptr_max
PARAM_VALUE 1 cstate->clp->cl_openowners.next->next 4096-ptr_max
PARAM_VALUE 1 cstate->clp->cl_openowners.next->prev 4096-ptr_max
PARAM_VALUE 1 cstate->current_fh.fh_post_saved 0
PARAM_VALUE 1 cstate->current_fh.fh_pre_saved 0
PARAM_VALUE 1 cstate->replay_owner 4096-ptr_max
PARAM_VALUE 2 open 4096-ptr_max
PARAM_VALUE 2 open->op_claim_type 1,4-5
PARAM_VALUE 2 open->op_create 0
PARAM_VALUE 2 open->op_created 0
PARAM_VALUE 2 open->op_file 1-u64max
PARAM_VALUE 2 open->op_filp 0
PARAM_VALUE 2 open->op_odstate 4096-ptr_max
PARAM_VALUE 2 open->op_odstate->co_client 4096-ptr_max
PARAM_VALUE 2 open->op_odstate->co_odcount.refs.counter 1
PARAM_VALUE 2 open->op_openowner 4096-ptr_max
PARAM_VALUE 2 open->op_rqstp 4096-ptr_max
PARAM_VALUE 2 open->op_rqstp->rq_xprt 0,4096-ptr_max
PARAM_VALUE 2 open->op_stp 4096-ptr_max
PARAM_VALUE 2 open->op_xdr_error 0
PARAM_VALUE 2 *open->op_rqstp->rq_pages 4096-ptr_max
PARAM_VALUE 2 *open->op_rqstp->rq_respages 4096-ptr_max
BUF_SIZE 0 rqstp (-1),128
BUF_SIZE 0 rqstp (-1),128
BUF_SIZE 0 rqstp->rq_private (-1),16
BUF_SIZE 1 cstate 928
BUF_SIZE 2 open 352
BUF_SIZE 2 open->op_rqstp (-1),128
CAPPED_DATA 0 rqstp->rq_arg.head->iov_base 1
CAPPED_DATA 1 cstate->clp->cl_clientid.cl_boot 1
CAPPED_DATA 1 cstate->clp->cl_clientid.cl_id 1
CAPPED_DATA 1 cstate->clp->cl_stateids.idr_base 1
CAPPED_DATA 2 open->op_clientid.cl_boot 1
CAPPED_DATA 2 open->op_clientid.cl_id 1
DATA_SOURCE 0 rqstp $0
DATA_SOURCE 1 cstate $1
FUZZY_MAX 0 rqstp->rq_resp->cstate.spo_must_allowed 0
PARAM_COMPARE 1 cstate->clp->cl_clientid.cl_boot == $2->op_clientid.cl_boot
PARAM_COMPARE 1 cstate->clp->cl_clientid.cl_id == $2->op_clientid.cl_id
CONSTRAINT 0 rqstp <2945
BIT_INFO 1 cstate 0x28,0xffffffffffffffff
BIT_INFO 1 cstate 0x28,0xffffffffffffffff
USER_DATA 0 rqstp->rq_xid 0-u32max
USER_DATA 2 open->op_rqstp->rq_xid 0-u32max