Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/f2fs/data.c add_ipu_page() -> page_is_mergeable()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
PARAM_VALUE 1 bio 1-u64max
PARAM_VALUE 3 cur_blkaddr 0-4294967294
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
CAPPED_DATA 0 sbi->s_ndevs 1
CAPPED_DATA 3 cur_blkaddr 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sbi unit_byte
UNITS 3 cur_blkaddr unit_page
LOCK2 &io->bio_list_lock.internal_rwsem
HALF_LOCKED2 &sbi->cp_rwsem.internal_rwsem
HALF_LOCKED2 &sbi->gc_lock.internal_rwsem
TYPE_LOCK (struct f2fs_rwsem)->internal_rwsem

fs/f2fs/data.c f2fs_merge_page_bio() -> page_is_mergeable()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
PARAM_VALUE 3 cur_blkaddr 0-4294967294
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 1 bio 0
CAPPED_DATA 3 cur_blkaddr 1
BIT_INFO 1 bio 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sbi unit_byte
UNITS 3 cur_blkaddr unit_page
HALF_LOCKED2 &sbi->gc_lock.internal_rwsem

fs/f2fs/data.c f2fs_read_data_large_folio() -> page_is_mergeable()

Type Parameter Key Value
PARAM_VALUE 1 bio 4096-ptr_max
BUF_SIZE 0 sbi 1-s32max
CAPPED_DATA 2 last_blkaddr 1
CAPPED_DATA 3 cur_blkaddr 1
PARAM_COMPARE 2 last_blkaddr == $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 bio->bi_iter.bi_sector 0,8-34359738352[c]
NO_OVERFLOW_SIMPLE 1 bio->bi_pool->bio_pool.min_nr
NO_OVERFLOW_SIMPLE 1 bio->bi_pool->bvec_pool.min_nr
UNITS 2 last_blkaddr unit_page
UNITS 3 cur_blkaddr unit_page
HALF_LOCKED2 &mapping->invalidate_lock

fs/f2fs/data.c f2fs_read_multi_pages() -> page_is_mergeable()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
PARAM_VALUE 1 bio 1-u64max
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 bio->bi_pool->bio_pool.min_nr
NO_OVERFLOW_SIMPLE 1 bio->bi_pool->bvec_pool.min_nr
UNITS 0 sbi unit_byte
UNITS 2 last_blkaddr unit_page
UNITS 3 cur_blkaddr unit_page

fs/f2fs/data.c f2fs_read_single_page() -> page_is_mergeable()

Type Parameter Key Value
PARAM_VALUE 1 bio 1-u64max
BUF_SIZE 0 sbi 1-s32max
CAPPED_DATA 3 cur_blkaddr 1
RX_PATH
TASK_NOT_RUNNING
UNITS 3 cur_blkaddr unit_page
HALF_LOCKED2 &mapping->invalidate_lock

fs/f2fs/data.c io_is_mergeable() -> page_is_mergeable()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
PARAM_VALUE 1 bio 1-u64max
BUF_SIZE 0 sbi (-1),1-s32max
BUF_SIZE 0 sbi (-1),1-s32max
DATA_SOURCE 0 sbi $0
DATA_SOURCE 1 bio $1
DATA_SOURCE 2 last_blkaddr $4
DATA_SOURCE 3 cur_blkaddr $5
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 bio->bi_pool->bio_pool.min_nr
NO_OVERFLOW_SIMPLE 1 bio->bi_pool->bvec_pool.min_nr
UNITS 0 sbi unit_byte
UNITS 2 last_blkaddr unit_page
UNITS 3 cur_blkaddr unit_page
LOCK2 &io->io_rwsem.internal_rwsem
HALF_LOCKED2 &fio->sbi->cp_rwsem.internal_rwsem
HALF_LOCKED2 &fio->sbi->io_order_lock.internal_rwsem
HALF_LOCKED2 &sbi->gc_lock.internal_rwsem
TYPE_LOCK (struct f2fs_rwsem)->internal_rwsem