Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/f2fs/data.c f2fs_fiemap() -> f2fs_inline_data_fiemap()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_op 4096-ptr_max
PARAM_VALUE 0 inode->i_op->fiemap 4096-ptr_max
PARAM_VALUE 0 inode->i_rwsem.dep_map->name 0-255
PARAM_VALUE 0 inode->i_rwsem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 inode->i_rwsem.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 0 inode->i_sb->s_maxbytes s64min-(-1),1-s64max
PARAM_VALUE 1 fieinfo 4096-ptr_max
PARAM_VALUE 1 fieinfo->fi_extents_max 0-76695844
PARAM_VALUE 2 start 0-17592186044416
PARAM_VALUE 3 len 1-17592186044416
CAPPED_DATA 0 inode->i_sb->s_maxbytes 1
CAPPED_DATA 2 start 1
CAPPED_DATA 2 start 1
CAPPED_DATA 3 len 1
CAPPED_DATA 3 len 1
DATA_SOURCE 0 inode $0
DATA_SOURCE 1 fieinfo $1
DATA_SOURCE 2 start $2
DATA_SOURCE 3 len $3 [m]
PARAM_COMPARE 0 inode->i_sb->s_maxbytes > $2
PARAM_COMPARE 2 start < $0->i_sb->s_maxbytes
BIT_INFO 1 fieinfo->fi_flags 0x0,0xfffffffd
USER_DATA 1 fieinfo->fi_extents_max 0-76695844
USER_DATA 1 fieinfo->fi_flags 0-u32max
USER_DATA 2 start 0-s32max[c]
USER_DATA 3 len 1-17592186044416[c]
NO_OVERFLOW_SIMPLE 1 fieinfo->fi_extents_max
UNITS 2 start unit_byte
UNITS 3 len unit_byte
LOCK2 0 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem