Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/xfs_dir2_readdir.c xfs_dir2_leaf_getdents() -> xfs_dir2_leaf_readbuf()

Type Parameter Key Value
PARAM_VALUE 0 args 5112712541974679552
PARAM_VALUE 0 args->blkno 0
PARAM_VALUE 0 args->blkno2 0
PARAM_VALUE 0 args->dp 4096-ptr_max
PARAM_VALUE 0 args->dp->i_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 args->dp->i_lock.first_waiter->type 0-1
PARAM_VALUE 0 args->filetype 0
PARAM_VALUE 0 args->hashval 0
PARAM_VALUE 0 args->index 0
PARAM_VALUE 0 args->index2 0
PARAM_VALUE 0 args->inumber 0
PARAM_VALUE 0 args->name 0
PARAM_VALUE 0 args->namelen 0
PARAM_VALUE 0 args->new_name 0
PARAM_VALUE 0 args->op_flags 0
PARAM_VALUE 0 args->rmtblkno 0
PARAM_VALUE 0 args->total 0
PARAM_VALUE 0 args->trans 0
PARAM_VALUE 0 args->value 0
PARAM_VALUE 0 args->valuelen 0
PARAM_VALUE 1 bufsize 0-2147516416,9223372036854775808-u64max
PARAM_VALUE 2 cur_off 8863246081711153152
PARAM_VALUE 2 *cur_off 0-34359738367
PARAM_VALUE 3 ra_blk 3775938754332483584
PARAM_VALUE 4 bpp 5114204070078775296
PARAM_VALUE 4 *bpp 0
CAPPED_DATA 1 bufsize 1
CAPPED_DATA 1 bufsize 1
DATA_SOURCE 0 args $0
DATA_SOURCE 1 bufsize $2 [m]
FUZZY_MAX 1 bufsize 0
RX_PATH
TASK_NOT_RUNNING
UNITS 1 bufsize unit_byte
HALF_LOCKED2 &dir_fp->readdir_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem