Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/f2fs/compress.c f2fs_write_raw_pages() -> f2fs_write_single_data_page()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 0 folio->mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,2632,2648
PARAM_VALUE 0 folio->mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 folio->mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 *folio->_mm_id 0-4294967295
PARAM_VALUE 1 submitted 1269458071440179200
PARAM_VALUE 1 *submitted 0
PARAM_VALUE 2 bio 0
PARAM_VALUE 3 last_block 0
PARAM_VALUE 4 wbc 268937840601612288,388796424924803072,831053748791767040,5289549940995424256,6525347519402446848,8349933177266966528
PARAM_VALUE 4 wbc->inode 0,4096-ptr_max
PARAM_VALUE 4 wbc->nr_to_write 0-s64max
PARAM_VALUE 4 wbc->wb 0,4096-ptr_max
PARAM_VALUE 4 wbc->wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 4 wbc->wb->dwork.wq->saved_max_active s32min-s32max
PARAM_VALUE 4 wbc->wb->dwork.wq->saved_min_active s32min-s32max
PARAM_VALUE 5 io_type 6,12
PARAM_VALUE 6 compr_blocks 0
PARAM_VALUE 7 allow_balance 0
DATA_SOURCE 0 folio r _compound_head
DATA_SOURCE 4 wbc $2
DATA_SOURCE 5 io_type $3
DATA_SOURCE 6 compr_blocks r f2fs_compressed_blocks
FUZZY_MAX 5 io_type 12
STR_LEN 4 wbc->inode (-1)
BIT_INFO 5 io_type 0x4,0xf
NOSPEC 4 wbc->inode->i_mode
NOSPEC 4 wbc->inode->i_size
HARD_MAX 5 io_type 12
RX_PATH
TASK_NOT_RUNNING
USER_DATA 4 wbc->inode->__i_nlink 1-u32max
USER_DATA 4 wbc->inode->i_blocks 0-18014398509481983,18428729675200069632-u64max
USER_DATA 4 wbc->inode->i_bytes 0-65023[c]
USER_DATA 4 wbc->inode->i_mode 0-u16max
USER_DATA 4 wbc->inode->i_rdev 0-u32max[c]
USER_DATA 4 wbc->inode->i_size (-9223372036854775807)-(-2),0-s64max
USER_DATA 4 wbc->range_end s64min-s64max
USER_DATA 4 wbc->range_start s64min-s64max
NO_OVERFLOW_SIMPLE 4 wbc->inode->i_ino
NO_OVERFLOW_SIMPLE 4 wbc->inode->i_linklen
HALF_LOCKED2 &mapping->invalidate_lock
HALF_LOCKED2 &sbi->cp_rwsem.internal_rwsem
HALF_LOCKED2 &sbi->writepages