Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/f2fs/compress.c prepare_compress_overwrite() -> f2fs_unlock_rpages()
| 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->inode->i_wb->dwork.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | cc->inode->i_wb->dwork.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | cc->inode->i_wb->dwork.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | cc->log_cluster_size | 0-255 |
| PARAM_VALUE | 0 | cc->nr_cpages | 0 |
| PARAM_VALUE | 0 | cc->nr_rpages | 0-2 |
| 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 | len | 1-s32max |
| CAPPED_DATA | 0 | cc->cluster_size | 1 |
| CAPPED_DATA | 1 | len | 1 |
| DATA_SOURCE | 0 | cc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | cc->cluster_idx | 0-u64max |
| UNITS | 1 | len | unit_page |
fs/f2fs/compress.c prepare_compress_overwrite() -> f2fs_unlock_rpages()
| 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->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->inode->i_wb->dwork.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | cc->inode->i_wb->dwork.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | cc->inode->i_wb->dwork.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | cc->log_cluster_size | 0-255 |
| PARAM_VALUE | 0 | cc->nr_cpages | 0 |
| PARAM_VALUE | 0 | cc->nr_rpages | 0-2 |
| 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 | len | 0-s32max |
| CAPPED_DATA | 0 | cc->cluster_size | 1 |
| DATA_SOURCE | 0 | cc | $0 |
| PARAM_COMPARE | 0 | cc->cluster_size | >= $1 |
| PARAM_COMPARE | 1 | len | <= $0->cluster_size |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | cc->cluster_idx | 0-u64max |
| UNITS | 1 | len | unit_page |