Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/f2fs/compress.c f2fs_release_decomp_mem() -> (struct f2fs_compress_ops)->destroy_decompress_ctx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dic | 4096-ptr_max |
| PARAM_VALUE | 0 | dic->inode->i_mapping->host->i_sb->s_export_op->fh_to_parent | 0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | dic->inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dic->inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dic->sbi | 4096-ptr_max |
| BUF_SIZE | 0 | dic | (-1),1-s32max |
| BUF_SIZE | 0 | dic | (-1),1-s32max |
| BUF_SIZE | 0 | dic->cpages | (-1),1-s32max |
| BUF_SIZE | 0 | dic->rpages | (-1),1-s32max |
| BUF_SIZE | 0 | dic->sbi | (-1),1-s32max |
| DATA_SOURCE | 0 | dic | $0 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | dic->inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | dic->inode->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | dic->inode->i_ino | |
| NO_OVERFLOW_SIMPLE | 0 | dic->inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | dic->sbi->page_array_slab->object_size |