Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/nfs4proc.c nfs4_proc_readdir() -> _nfs4_proc_readdir()

Type Parameter Key Value
PARAM_VALUE 0 nr_arg 2173468276283977728
PARAM_VALUE 0 nr_arg->dentry 4096-ptr_max
PARAM_VALUE 0 nr_arg->dentry->d_inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nr_arg->dentry->d_inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 nr_arg->page_len 1024-u32max
PARAM_VALUE 0 nr_arg->pages 4096-ptr_max
PARAM_VALUE 1 nr_res 6475465718016757760
PARAM_VALUE 1 nr_res->verf 4208625965846011904,5189167074123100160
DATA_SOURCE 0 nr_arg $0
DATA_SOURCE 1 nr_res $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dir_fp->readdir_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem