Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/xfs_dir2_readdir.c xfs_readdir() -> xfs_dir2_block_getdents()

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->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 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->dt_flags_mask 0,4096,u32max
PARAM_VALUE 2 lock_mode 1016491510035714048
PARAM_VALUE 2 *lock_mode 4,8
DATA_SOURCE 1 ctx $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 ctx->count s32min-s32max
HALF_LOCKED2 &dir_fp->readdir_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem