Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfsd/vfs.c nfsd_readdir() -> nfsd_buffered_readdir()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_flags 32768-32770
PARAM_VALUE 0 file->f_iocb_flags 0,2,4,6,16,18,20,22,131072,131074,131076,131078,131088,131090,131092,131094
PARAM_VALUE 0 file->f_mode 0,512-u32max
PARAM_VALUE 0 file->f_pos 0
PARAM_VALUE 0 file->f_pos_lock.osq.tail.counter 0
PARAM_VALUE 0 file->f_pos_lock.owner.counter 0
PARAM_VALUE 0 file->f_ra.async_size 0
PARAM_VALUE 0 file->f_ra.mmap_miss 0
PARAM_VALUE 0 file->f_ra.order 0
PARAM_VALUE 0 file->f_ra.prev_pos (-1)-0
PARAM_VALUE 0 file->f_ra.ra_pages 0
PARAM_VALUE 0 file->f_ra.size 0
PARAM_VALUE 0 file->f_ra.start 0
PARAM_VALUE 0 file->f_ref.refcnt.counter 0
PARAM_VALUE 0 file->f_sb_err 0
PARAM_VALUE 0 file->f_security 0
PARAM_VALUE 0 file->f_wb_err 0
PARAM_VALUE 0 file->private_data 0
PARAM_VALUE 1 fhp 4096-ptr_max
PARAM_VALUE 1 fhp->fh_dentry->d_alias->next->pprev 1-u64max
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->active.counter s32min-s32max
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->d_flags 0-4294967295
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->d_inode->__i_nlink 0-4294967295
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->d_inode->i_atime_nsec 0-4294967295
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->d_inode->i_blkbits 0-255
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->d_inode->i_bytes 0-u16max
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->d_inode->i_ctime_nsec 0-4294967295
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->d_inode->i_dir_seq 0-4294967295
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->d_inode->i_flags 0-4294967295
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->d_inode->i_fsnotify_mask 0-4294967295
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->d_inode->i_generation 0-4294967295
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->d_inode->i_linklen s32min-s32max
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->d_inode->i_mode 0-u16max
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->d_inode->i_mtime_nsec 0-4294967295
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->d_inode->i_nlink 0-4294967295
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->d_inode->i_opflags 0-u16max
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->d_inode->i_rdev 0-4294967295
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->d_inode->i_wb_frn_avg_time 0-u16max
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->d_inode->i_wb_frn_history 0-u16max
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->d_inode->i_wb_frn_winner s32min-s32max
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->d_inode->i_write_hint 0-4294967295
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->d_lockref.count s32min-s32max
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->data->ref.refs.counter s32min-s32max
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->management_timer.flags 0-4294967295
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->owner->refcnt.counter 0-s32max
PARAM_VALUE 1 fhp->fh_dentry->d_fsdata->ref.refs.counter s32min-s32max
PARAM_VALUE 1 fhp->fh_dentry->d_hash.pprev 0
PARAM_VALUE 1 fhp->fh_dentry->d_inode 0
PARAM_VALUE 1 fhp->fh_dentry->d_inode->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 fhp->fh_dentry->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 fhp->fh_dentry->d_sb->s_roots_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 fhp->fh_dentry->d_sib->next->pprev 1-u64max
PARAM_VALUE 1 fhp->fh_dentry->waiters 0
PARAM_VALUE 1 fhp->fh_export->cd->nextcheck s64min-9223372036854775806
PARAM_VALUE 1 fhp->fh_export->h.cred.cr_group_info 0
PARAM_VALUE 1 fhp->fh_export->h.cred.cr_gss_mech 0
PARAM_VALUE 1 fhp->fh_export->h.cred.cr_principal 0
PARAM_VALUE 1 fhp->fh_export->h.cred.cr_raw_principal 0
PARAM_VALUE 1 fhp->fh_export->h.cred.cr_targ_princ 0
PARAM_VALUE 1 fhp->fh_export->h.ek_client->ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 1 fhp->fh_export->h.ek_path->dentry->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 fhp->fh_export->h.ek_path->dentry->d_fsdata->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 fhp->fh_export->h.ek_path->dentry->d_inode->i_sb->s_fs_info->wbuf 0-255
PARAM_VALUE 1 fhp->fh_export->h.ek_path->dentry->d_inode->i_sb->s_fs_info->wbuf_verify 0-255
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_flags 0-4294967295
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->active.counter s32min-s32max
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->d_flags 0-4294967295
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->d_inode->__i_nlink 0-4294967295
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->d_inode->i_atime_nsec 0-4294967295
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->d_inode->i_blkbits 0-255
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->d_inode->i_bytes 0-u16max
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->d_inode->i_ctime_nsec 0-4294967295
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->d_inode->i_dir_seq 0-4294967295
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->d_inode->i_flags 0-4294967295
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->d_inode->i_fsnotify_mask 0-4294967295
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->d_inode->i_generation 0-4294967295
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->d_inode->i_linklen s32min-s32max
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->d_inode->i_mode 0-u16max
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->d_inode->i_mtime_nsec 0-4294967295
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->d_inode->i_nlink 0-4294967295
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->d_inode->i_opflags 0-u16max
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->d_inode->i_rdev 0-4294967295
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->d_inode->i_wb_frn_avg_time 0-u16max
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->d_inode->i_wb_frn_history 0-u16max
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->d_inode->i_wb_frn_winner s32min-s32max
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->d_inode->i_write_hint 0-4294967295
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->d_lockref.count s32min-s32max
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->d_parent->d_lockref.count s32min-s32max
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->data->ref.refs.counter s32min-s32max
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->management_timer.is_hard 0-1
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->management_timer.is_lazy 0-1
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->management_timer.is_queued 0-1
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->management_timer.is_soft 0-1
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->owner->refcnt.counter 0-s32max
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_fsdata->ref.refs.counter s32min-s32max
PARAM_VALUE 1 fhp->fh_export->h.ek_path.dentry->d_lockref.count s32min-s32max
PARAM_VALUE 1 fhp->fh_export->h.ex_client->ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 1 fhp->fh_export->h.ex_path->dentry->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 fhp->fh_export->h.ex_path->dentry->d_fsdata->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 fhp->fh_export->h.ex_path->dentry->d_inode->i_sb->s_fs_info->wbuf 0-255
PARAM_VALUE 1 fhp->fh_export->h.ex_path->dentry->d_inode->i_sb->s_fs_info->wbuf_verify 0-255
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_flags 0-4294967295
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->active.counter s32min-s32max
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->d_flags 0-4294967295
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->d_inode->__i_nlink 0-4294967295
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->d_inode->i_atime_nsec 0-4294967295
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->d_inode->i_blkbits 0-255
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->d_inode->i_bytes 0-u16max
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->d_inode->i_ctime_nsec 0-4294967295
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->d_inode->i_dir_seq 0-4294967295
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->d_inode->i_flags 0-4294967295
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->d_inode->i_fsnotify_mask 0-4294967295
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->d_inode->i_generation 0-4294967295
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->d_inode->i_linklen s32min-s32max
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->d_inode->i_mode 0-u16max
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->d_inode->i_mtime_nsec 0-4294967295
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->d_inode->i_nlink 0-4294967295
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->d_inode->i_opflags 0-u16max
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->d_inode->i_rdev 0-4294967295
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->d_inode->i_wb_frn_avg_time 0-u16max
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->d_inode->i_wb_frn_history 0-u16max
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->d_inode->i_wb_frn_winner s32min-s32max
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->d_inode->i_write_hint 0-4294967295
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->d_lockref.count s32min-s32max
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->d_parent->d_lockref.count s32min-s32max
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->data->ref.refs.counter s32min-s32max
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->management_timer.is_hard 0-1
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->management_timer.is_lazy 0-1
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->management_timer.is_queued 0-1
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->management_timer.is_soft 0-1
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->owner->refcnt.counter 0-s32max
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_fsdata->ref.refs.counter s32min-s32max
PARAM_VALUE 1 fhp->fh_export->h.ex_path.dentry->d_lockref.count s32min-s32max
PARAM_VALUE 1 fhp->fh_export->h.ex_rcu.next 0
PARAM_VALUE 1 fhp->fh_export->h.m_client->h.ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 1 fhp->fh_export->h.mechctx 0
PARAM_VALUE 1 fhp->fh_export->h.mechctx->mech_type->gm_owner->refcnt.counter 0-s32max
PARAM_VALUE 1 fhp->fh_export->h.rcu.next 0
PARAM_VALUE 1 fhp->fh_want_write 0
PARAM_VALUE 1 *fhp->fh_dentry->d_fsdata->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 *fhp->fh_dentry->d_fsdata->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 *fhp->fh_dentry->d_fsdata->d_inode->i_sb->s_fs_info->wbuf 0-255
PARAM_VALUE 1 *fhp->fh_dentry->d_fsdata->d_inode->i_sb->s_fs_info->wbuf_verify 0-255
PARAM_VALUE 1 *fhp->fh_dentry->d_fsdata->lease_session->s_auth.authorizer->session_key.key (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 *fhp->fh_dentry->d_inode->i_hash.next->pprev 1-u64max
PARAM_VALUE 1 *fhp->fh_dentry->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 *fhp->fh_dentry->d_inode->i_sb->s_fs_info->page_eio_cnt s32min-s32max
PARAM_VALUE 2 func 1947648704147742720,6383199820647276544,8163478636786987008,9130787244793159680
PARAM_VALUE 3 cdp 4096-ptr_max
PARAM_VALUE 3 cdp->err 0
PARAM_VALUE 4 offsetp 2922700764312182784,4555493259585376256,5232359853071294464,6658607264391458816
DATA_SOURCE 1 fhp $1
DATA_SOURCE 2 func $4
DATA_SOURCE 3 cdp $3
DATA_SOURCE 4 offsetp $2