Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfsd/nfsfh.c fh_verify() -> __fh_verify()

Type Parameter Key Value
PARAM_VALUE 0 rqstp 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_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_xprt 0,4096-ptr_max
PARAM_VALUE 0 rqstp->rq_xprt->xpt_class->xcl_max_payload 32768,4194304
PARAM_VALUE 2 cred 4096-ptr_max
PARAM_VALUE 5 fhp->fh_dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 5 fhp->fh_dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 5 fhp->fh_dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 5 fhp->fh_dentry->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 6 type 0,16384,32768,40960
PARAM_VALUE 7 access 0-4,8,19,64,66,68,70,72,74,256,578,1024,1122,1124,2048,2050,2052,2054,2066,2070,2112,2114,2116,2118,2130,2134,4164
BUF_SIZE 0 rqstp (-1),64,128,280,1024
BUF_SIZE 0 rqstp (-1),64,128,280,1024
BUF_SIZE 0 rqstp->rq_private (-1),16
BUF_SIZE 5 fhp (-1)-0,416
BUF_SIZE 5 fhp (-1)-0,416
BUF_SIZE 5 fhp->fh_dentry (-1),1-s32max
DATA_SOURCE 0 rqstp $0
DATA_SOURCE 5 fhp $1
DATA_SOURCE 6 type $2
DATA_SOURCE 7 access $3
FUZZY_MAX 6 type 32768
FUZZY_MAX 7 access 8
STR_LEN 0 rqstp (-1),2
STR_LEN 0 rqstp (-1),2
HARD_MAX 6 type 40960
RX_PATH
USER_DATA 0 rqstp->rq_xid 0-u32max
NO_OVERFLOW_SIMPLE 5 fhp->fh_post_attr.ino
HALF_LOCKED2 5 &fhp->fh_dentry->d_lockref.lock

fs/nfsd/nfsfh.c fh_verify_local() -> __fh_verify()

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 2 cred->cr_flavor 0-1,7,390003-390005
PARAM_VALUE 4 gssclient 0
PARAM_VALUE 5 fhp 4096-ptr_max
PARAM_VALUE 5 fhp->fh_dentry 0
PARAM_VALUE 5 fhp->fh_dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 5 fhp->fh_dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 5 fhp->fh_dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 5 fhp->fh_dentry->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 5 fhp->fh_flags 0
PARAM_VALUE 5 fhp->fh_handle.fh_size 0-128
PARAM_VALUE 5 fhp->fh_maxsize 128
PARAM_VALUE 5 fhp->fh_no_wcc 0
PARAM_VALUE 5 fhp->fh_post_attr.ino 0
PARAM_VALUE 5 fhp->fh_post_attr.size 0
PARAM_VALUE 5 fhp->fh_pre_size 0
PARAM_VALUE 5 fhp->fh_want_write 0
PARAM_VALUE 6 type 32768
PARAM_VALUE 7 access 8256,8258,8260,8262
CAPPED_DATA 1 net->gen 1
DATA_SOURCE 1 net $0
DATA_SOURCE 2 cred $1
DATA_SOURCE 3 client $2
DATA_SOURCE 5 fhp $3
DATA_SOURCE 6 type $4
DATA_SOURCE 7 access $5
BIT_INFO 7 access 0x2040,0x2046
MEM_ZERO 2 cred
MEM_ZERO 5 fhp
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 5 fhp->fh_post_attr.ino
UNITS 1 net unit_byte