Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/f2fs/data.c f2fs_mpage_readpages() -> f2fs_compress_ctx_add_page()

Type Parameter Key Value
PARAM_VALUE 0 cc 3975257204427415552
PARAM_VALUE 0 cc->cbuf 0
PARAM_VALUE 0 cc->clen 0
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->private 0
PARAM_VALUE 0 cc->private2 0
PARAM_VALUE 0 cc->rbuf 0
PARAM_VALUE 0 cc->rlen 0
PARAM_VALUE 0 cc->rpages 1-u64max
PARAM_VALUE 0 cc->vi 0,4096-ptr_max
PARAM_VALUE 1 folio 4096-ptr_max
PARAM_VALUE 1 folio->mapping 0,4096-ptr_max
PARAM_VALUE 1 folio->mapping->host 4096-ptr_max
DATA_SOURCE 1 folio $3 [m]
NOSPEC 1 folio->mapping->writeback_index
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 folio->mapping->writeback_index 0-524287[c]
HALF_LOCKED2 &mapping->invalidate_lock

fs/f2fs/compress.c prepare_compress_overwrite() -> f2fs_compress_ctx_add_page()

Type Parameter Key Value
PARAM_VALUE 0 cc 4438943211372961792
PARAM_VALUE 0 cc->cbuf 0
PARAM_VALUE 0 cc->clen 0
PARAM_VALUE 0 cc->cluster_size 1-u32max
PARAM_VALUE 0 cc->cpages 0
PARAM_VALUE 0 cc->inode 4096-ptr_max
PARAM_VALUE 0 cc->inode->i_mapping->host 4096-ptr_max
PARAM_VALUE 0 cc->inode->i_mapping->host->i_sb 4096-ptr_max
PARAM_VALUE 0 cc->inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max
PARAM_VALUE 0 cc->inode->i_sb 4096-ptr_max
PARAM_VALUE 0 cc->log_cluster_size 0-255
PARAM_VALUE 0 cc->nr_cpages 0
PARAM_VALUE 0 cc->nr_rpages 0-1
PARAM_VALUE 0 cc->private 0
PARAM_VALUE 0 cc->private2 0
PARAM_VALUE 0 cc->rbuf 0
PARAM_VALUE 0 cc->rlen 0
PARAM_VALUE 0 cc->rpages 1-u64max
PARAM_VALUE 0 cc->valid_nr_cpages 0
PARAM_VALUE 0 cc->vi 0
PARAM_VALUE 1 folio 4096-ptr_max
DATA_SOURCE 0 cc $0
DATA_SOURCE 1 folio r f2fs_filemap_get_folio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 cc->cluster_idx 0-u64max

fs/f2fs/compress.c prepare_compress_overwrite() -> f2fs_compress_ctx_add_page()

Type Parameter Key Value
PARAM_VALUE 0 cc 4438943211372961792
PARAM_VALUE 0 cc->cbuf 0
PARAM_VALUE 0 cc->clen 0
PARAM_VALUE 0 cc->cluster_size 1-s32max
PARAM_VALUE 0 cc->cpages 0
PARAM_VALUE 0 cc->inode 4096-ptr_max
PARAM_VALUE 0 cc->inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max
PARAM_VALUE 0 cc->inode->i_sb 4096-ptr_max
PARAM_VALUE 0 cc->log_cluster_size 0-255
PARAM_VALUE 0 cc->nr_cpages 0
PARAM_VALUE 0 cc->nr_rpages 0-1
PARAM_VALUE 0 cc->private 0
PARAM_VALUE 0 cc->private2 0
PARAM_VALUE 0 cc->rbuf 0
PARAM_VALUE 0 cc->rlen 0
PARAM_VALUE 0 cc->rpages 4096-ptr_max
PARAM_VALUE 0 cc->valid_nr_cpages 0
PARAM_VALUE 0 cc->vi 0
PARAM_VALUE 1 folio 4096-ptr_max
CAPPED_DATA 0 cc->cluster_size 1
DATA_SOURCE 0 cc $0
DATA_SOURCE 1 folio r filemap_lock_folio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 cc->cluster_idx 0-u64max