Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ext2/inode.c ext2_get_blocks() -> ext2_splice_branch()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_io_list.next 4096-ptr_max
PARAM_VALUE 0 inode->i_io_list.prev 4096-ptr_max
PARAM_VALUE 0 inode->i_io_list.prev->next 4096-ptr_max
PARAM_VALUE 0 inode->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
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_cop->empty_dir 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE 0 inode->i_sb->s_cop->get_context 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416
PARAM_VALUE 0 inode->i_sb->s_cop->set_context 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112
PARAM_VALUE 0 inode->i_sb->s_export_op->encode_fh 0,2,1398972869330624512,1616549510479982592,2037984473558433792
PARAM_VALUE 0 inode->i_sb->s_export_op->fh_to_parent 0,148606482432692224,436469935444291584,467281172929331200
PARAM_VALUE 0 inode->i_sb->s_export_op->get_parent 0,264940071972966400,291591359766798336,565128213429456896
PARAM_VALUE 0 inode->i_sb->s_fs_info->s_freeblocks_counter->counters s32min-s32max
PARAM_VALUE 0 inode->i_sb->s_fs_info->s_freeblocks_counter.lock.dep_map->name 0-255
PARAM_VALUE 0 inode->i_sb->s_fs_info->s_freeblocks_counter.lock.owner (-1)
PARAM_VALUE 0 inode->i_sb->s_fs_info->s_freeblocks_counter.lock.owner_cpu 4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->s_freeblocks_counter.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 inode->i_wb->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 inode->i_wb->work_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 where 8628165143337517056-ptr_max
PARAM_VALUE 3 num s32min-2147483646
BUF_SIZE 2 where (-1),96
BUF_SIZE 2 where (-1),96
CAPPED_DATA 3 num 1
DATA_SOURCE 0 inode $0
DATA_SOURCE 1 block $1
DATA_SOURCE 2 where r ext2_get_branch
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 block 0-9223372036854771712
NO_OVERFLOW_SIMPLE 0 inode->i_bytes
NO_OVERFLOW_SIMPLE 0 inode->i_ino
NO_OVERFLOW_SIMPLE 0 inode->i_size
UNITS 1 block unit_byte
UNITS 4 blks unit_byte
LOCK2 &ei->truncate_mutex
TYPE_LOCK (struct ext2_inode_info)->truncate_mutex