Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ext4/inline.c empty_inline_dir() -> ext4_get_inline_entry()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_ino 2-u32max
PARAM_VALUE 0 inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 inode->i_sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 inode->i_sb->s_fs_info 4096-ptr_max
PARAM_VALUE 1 iloc 7188161323696553984
PARAM_VALUE 1 iloc->bh 4096-ptr_max
PARAM_VALUE 1 iloc->block_group 0-4294967294
PARAM_VALUE 1 iloc->offset 0-s32max,18446744071562067968-u64max
PARAM_VALUE 2 offset 4-65534
PARAM_VALUE 3 inline_start 8949415306693943296
PARAM_VALUE 4 inline_size 8865237775076859904
CAPPED_DATA 0 inode->i_ino 1
CAPPED_DATA 2 offset 1
DATA_SOURCE 0 inode $0
NOSPEC 1 iloc->block_group
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->i_size (-9223372036854775807)-(-4),0-s64max
USER_DATA 1 iloc->block_group 1-2147483646[c]
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 0 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem