Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/f2fs/data.c f2fs_bmap() -> f2fs_bmap_compress()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 block 0-u32max
CAPPED_DATA 1 block 1
CAPPED_DATA 1 block 1
DATA_SOURCE 1 block $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 block 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 inode->i_size
HALF_LOCKED2 &inode->i_rwsem