Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/nfsd/filecache.c nfsd_file_acquire() -> nfsd_file_do_acquire()
| 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_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_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_server->sv_nprogs | 0-s32max |
| PARAM_VALUE | 0 | rqstp->rq_server->sv_programs | 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_class->xcl_max_payload | 32768,4194304 |
| 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 | 2 | cred | 0 |
| PARAM_VALUE | 3 | client | 0 |
| PARAM_VALUE | 4 | fhp | 4096-ptr_max |
| PARAM_VALUE | 5 | may_flags | 2,4,514 |
| PARAM_VALUE | 6 | file | 0 |
| PARAM_VALUE | 7 | type | 32768 |
| PARAM_VALUE | 8 | want_gc | 0 |
| PARAM_VALUE | 9 | pnf | 2015973737296293888,2044396127914184704,2439098106209796096 |
| BUF_SIZE | 0 | rqstp | 64,128,280,1024 |
| BUF_SIZE | 0 | rqstp | 64,128,280,1024 |
| BUF_SIZE | 0 | rqstp->rq_private | (-1),16 |
| CAPPED_DATA | 0 | rqstp->rq_arg.head->iov_base | 1 |
| DATA_SOURCE | 0 | rqstp | $0 |
| DATA_SOURCE | 4 | fhp | $1 |
| DATA_SOURCE | 5 | may_flags | $2 |
| DATA_SOURCE | 9 | pnf | $3 |
| BIT_INFO | 5 | may_flags | 0x0,0x206 |
| USER_DATA | 0 | rqstp->rq_xid | 0-u32max |
fs/nfsd/filecache.c nfsd_file_acquire_dir() -> nfsd_file_do_acquire()
| 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_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->end | 0-u32max |
| PARAM_VALUE | 0 | rqstp->rq_res_stream->p | 0-u32max |
| 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_accept_statp | 0 |
| PARAM_VALUE | 0 | *rqstp->rq_pages | 4096-ptr_max |
| PARAM_VALUE | 2 | cred | 0 |
| PARAM_VALUE | 3 | client | 0 |
| PARAM_VALUE | 4 | fhp | 4096-ptr_max |
| PARAM_VALUE | 4 | fhp->fh_post_saved | 0 |
| PARAM_VALUE | 4 | fhp->fh_pre_saved | 0 |
| PARAM_VALUE | 5 | may_flags | 4100 |
| PARAM_VALUE | 6 | file | 0 |
| PARAM_VALUE | 7 | type | 16384 |
| PARAM_VALUE | 8 | want_gc | 0 |
| PARAM_VALUE | 9 | pnf | 3281433220033150976 |
| BUF_SIZE | 0 | rqstp | 128 |
| BUF_SIZE | 0 | rqstp | 128 |
| BUF_SIZE | 0 | rqstp->rq_private | (-1),16 |
| CAPPED_DATA | 0 | rqstp->rq_arg.head->iov_base | 1 |
| DATA_SOURCE | 0 | rqstp | $0 |
| DATA_SOURCE | 4 | fhp | $1 |
| DATA_SOURCE | 9 | pnf | $2 |
| CONSTRAINT | 0 | rqstp | <2945 |
| USER_DATA | 0 | rqstp->rq_xid | 0-u32max |
fs/nfsd/filecache.c nfsd_file_acquire_gc() -> nfsd_file_do_acquire()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rqstp | 4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_accept_statp | 0,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 | 0 |
| PARAM_VALUE | 0 | rqstp->rq_arg_stream.rqst->rq_reply_bytes_recvd | 1-u64max |
| PARAM_VALUE | 0 | rqstp->rq_arg_stream.scratch.iov_base | 18446612682070032384 |
| PARAM_VALUE | 0 | rqstp->rq_auth_slack | 0 |
| PARAM_VALUE | 0 | rqstp->rq_auth_stat | 0-3,7,13-14 |
| PARAM_VALUE | 0 | rqstp->rq_authop | 4096-ptr_max |
| 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 | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_cred.cr_group_info->usage.refs.counter | 1 |
| PARAM_VALUE | 0 | rqstp->rq_pool | 4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_proc | 0-23 |
| PARAM_VALUE | 0 | rqstp->rq_procinfo | 4096-ptr_max |
| 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_prog | 0,100003,100021,100227,400122,1073741824 |
| 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 | 4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_res_stream.rqst | 0 |
| PARAM_VALUE | 0 | rqstp->rq_res_stream.scratch.iov_len | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 0 | rqstp->rq_scratch_folio | 4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_server | 4096-ptr_max |
| 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_vers | 0-4 |
| 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 | 2 | cred | 0 |
| PARAM_VALUE | 3 | client | 0 |
| PARAM_VALUE | 4 | fhp | 4096-ptr_max |
| PARAM_VALUE | 5 | may_flags | 2,4,514 |
| PARAM_VALUE | 6 | file | 0 |
| PARAM_VALUE | 7 | type | 32768 |
| PARAM_VALUE | 8 | want_gc | 1 |
| PARAM_VALUE | 9 | pnf | 1364491456278568960,1945072776075087872,6441314247933485056 |
| BUF_SIZE | 0 | rqstp | (-1),128 |
| BUF_SIZE | 0 | rqstp | (-1),128 |
| BUF_SIZE | 0 | rqstp->rq_private | (-1),16 |
| CAPPED_DATA | 0 | rqstp->rq_arg.head->iov_base | 1 |
| CAPPED_DATA | 0 | rqstp->rq_proc | 1 |
| CAPPED_DATA | 0 | rqstp->rq_prog | 1 |
| CAPPED_DATA | 0 | rqstp->rq_vers | 1 |
| DATA_SOURCE | 0 | rqstp | $0 |
| DATA_SOURCE | 4 | fhp | $1 |
| DATA_SOURCE | 5 | may_flags | $2 |
| DATA_SOURCE | 9 | pnf | $3 |
| CONSTRAINT | 0 | rqstp | <2945 |
| HARD_MAX | 5 | may_flags | 514 |
| USER_DATA | 0 | rqstp->rq_xid | 0-u32max |
fs/nfsd/filecache.c nfsd_file_acquire_local() -> nfsd_file_do_acquire()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rqstp | 0 |
| PARAM_VALUE | 1 | net | 4096-ptr_max |
| PARAM_VALUE | 1 | net->gen | 4096-ptr_max |
| PARAM_VALUE | 2 | cred | 2422036040373465088 |
| PARAM_VALUE | 4 | fhp | 8760854972978135040 |
| PARAM_VALUE | 4 | fhp->fh_64bit_cookies | 0 |
| PARAM_VALUE | 4 | fhp->fh_dentry | 0 |
| PARAM_VALUE | 4 | fhp->fh_export | 0 |
| PARAM_VALUE | 4 | fhp->fh_flags | 0 |
| PARAM_VALUE | 4 | fhp->fh_handle.fh_size | 0-128 |
| PARAM_VALUE | 4 | fhp->fh_maxsize | 128 |
| PARAM_VALUE | 4 | fhp->fh_no_atomic_attr | 0 |
| PARAM_VALUE | 4 | fhp->fh_no_wcc | 0 |
| PARAM_VALUE | 4 | fhp->fh_post_attr.ino | 0 |
| PARAM_VALUE | 4 | fhp->fh_post_attr.size | 0 |
| PARAM_VALUE | 4 | fhp->fh_post_saved | 0 |
| PARAM_VALUE | 4 | fhp->fh_pre_saved | 0 |
| PARAM_VALUE | 4 | fhp->fh_pre_size | 0 |
| PARAM_VALUE | 4 | fhp->fh_use_wgather | 0 |
| PARAM_VALUE | 4 | fhp->fh_want_write | 0 |
| PARAM_VALUE | 5 | may_flags | 8192,8194,8196,8198 |
| PARAM_VALUE | 6 | file | 0 |
| PARAM_VALUE | 7 | type | 32768 |
| PARAM_VALUE | 8 | want_gc | 0 |
| PARAM_VALUE | 9 | pnf | 312223509917310976 |
| PARAM_VALUE | 9 | *pnf | 0 |
| CAPPED_DATA | 1 | net->gen | 1 |
| DATA_SOURCE | 1 | net | $0 |
| DATA_SOURCE | 2 | cred | $1 |
| DATA_SOURCE | 3 | client | $2 |
| DATA_SOURCE | 4 | fhp | $3 |
| DATA_SOURCE | 5 | may_flags | $4 |
| DATA_SOURCE | 9 | pnf | $5 |
| BIT_INFO | 5 | may_flags | 0x2000,0x2006 |
| MEM_ZERO | 2 | cred | |
| MEM_ZERO | 4 | fhp | |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/nfsd/filecache.c nfsd_file_acquire_opened() -> nfsd_file_do_acquire()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rqstp | 4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_xprt | 0,4096-ptr_max |
| PARAM_VALUE | 2 | cred | 0 |
| PARAM_VALUE | 3 | client | 0 |
| PARAM_VALUE | 5 | may_flags | 0,2,4,6 |
| PARAM_VALUE | 7 | type | 32768 |
| PARAM_VALUE | 8 | want_gc | 0 |
| PARAM_VALUE | 9 | pnf | 606090026959708160,2408750772439502848 |
| PARAM_VALUE | 9 | *pnf | 0 |
| DATA_SOURCE | 0 | rqstp | $0 |
| DATA_SOURCE | 4 | fhp | $1 |
| DATA_SOURCE | 5 | may_flags | $2 |
| DATA_SOURCE | 6 | file | $3 |
| DATA_SOURCE | 9 | pnf | $4 |