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_write_cache_pages() -> f2fs_all_cluster_page_ready()

Type Parameter Key Value
PARAM_VALUE 0 cc 1922723821419765760
PARAM_VALUE 0 cc->cpages 0
PARAM_VALUE 0 cc->inode 4096-ptr_max
PARAM_VALUE 0 cc->log_cluster_size 0-255
PARAM_VALUE 0 cc->private2 0,4096-ptr_max
PARAM_VALUE 0 cc->rpages 1-u64max
PARAM_VALUE 0 cc->vi 0
PARAM_VALUE 1 pages 4096-ptr_max
PARAM_VALUE 2 index 0-s32max
PARAM_VALUE 3 nr_pages 1-s32max
PARAM_VALUE 4 uptodate 1
BUF_SIZE 1 pages s32min-s32max
CAPPED_DATA 2 index 1
PARAM_COMPARE 2 index < $3
PARAM_COMPARE 3 nr_pages > $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mapping->invalidate_lock
HALF_LOCKED2 &sbi->writepages

fs/f2fs/data.c f2fs_write_cache_pages() -> f2fs_all_cluster_page_ready()

Type Parameter Key Value
PARAM_VALUE 0 cc 1922723821419765760
PARAM_VALUE 0 cc->cpages 0
PARAM_VALUE 0 cc->inode 4096-ptr_max
PARAM_VALUE 0 cc->log_cluster_size 0-255
PARAM_VALUE 0 cc->private2 0,4096-ptr_max
PARAM_VALUE 0 cc->rpages 1-u64max
PARAM_VALUE 0 cc->vi 0
PARAM_VALUE 1 pages 4096-ptr_max
PARAM_VALUE 2 index 0-s32max
PARAM_VALUE 3 nr_pages 1-s32max
PARAM_VALUE 4 uptodate 0
BUF_SIZE 1 pages s32min-s32max
CAPPED_DATA 2 index 1
PARAM_COMPARE 2 index < $3
PARAM_COMPARE 3 nr_pages > $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mapping->invalidate_lock
HALF_LOCKED2 &sbi->writepages