Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/squashfs/dir.c squashfs_readdir() -> get_dir_index_using_offset()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 1 next_block 2057640408404963328
PARAM_VALUE 2 next_offset 6024849721627893760
PARAM_VALUE 6 f_pos 3-9223372036854775807
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
UNITS 6 f_pos unit_byte
HALF_LOCKED2 &dir_fp->readdir_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem