Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/jffs2/compr.c jffs2_compress() -> (struct jffs2_compressor)->compress()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | cpage_out | 1-u64max |
| PARAM_VALUE | 2 | sourcelen | 6722319238218870784,8078092698119237632 |
| PARAM_VALUE | 3 | dstlen | 4227567531566325760,4287021101276143616 |
| BUF_SIZE | 1 | cpage_out | 0-u32max,u64max |
| BUF_SIZE | 1 | cpage_out | 0-u32max,u64max |
| DATA_SOURCE | 0 | data_in | $2 |
| DATA_SOURCE | 2 | sourcelen | $4 |
| DATA_SOURCE | 3 | dstlen | $5 |
| CONTAINER | 1 | *(-40+64) | $(-1) |
| NOSPEC | 0 | data_in | |
| NOSPEC | 0 | data_in | |
| NOSPEC | 2 | *sourcelen | |
| NOSPEC | 3 | *dstlen | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | data_in | 4096-ptr_max[c][u] |
| USER_DATA | 2 | *sourcelen | 1-4096[c] |
| USER_DATA | 3 | *dstlen | 1-4096[c] |
| USER_PTR | 2 | sourcelen | |
| USER_PTR | 3 | dstlen | |
| LOCK2 | &c->alloc_sem | ||
| LOCK2 | &f->sem | ||
| TYPE_LOCK | (struct jffs2_inode_info)->sem | ||
| TYPE_LOCK | (struct jffs2_sb_info)->alloc_sem |
fs/jffs2/compr.c jffs2_selected_compress() -> (struct jffs2_compressor)->compress()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | cpage_out | 16,4096-ptr_max |
| PARAM_VALUE | 2 | sourcelen | 6722319238218870784,8078092698119237632 |
| PARAM_VALUE | 3 | dstlen | 4227567531566325760,4287021101276143616 |
| PARAM_VALUE | 3 | *dstlen | 0-4000000 |
| BUF_SIZE | 1 | cpage_out | 0-u32max |
| BUF_SIZE | 1 | cpage_out | 0-u32max |
| CAPPED_DATA | 3 | *dstlen | 1 |
| DATA_SOURCE | 0 | data_in | $1 |
| DATA_SOURCE | 1 | cpage_out | r _kmalloc_noprof |
| DATA_SOURCE | 2 | sourcelen | $3 |
| DATA_SOURCE | 3 | dstlen | $4 |
| NOSPEC | 0 | data_in | |
| NOSPEC | 0 | data_in | |
| NOSPEC | 3 | *dstlen | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | data_in | 4096-ptr_max[c][u] |
| USER_DATA | 2 | *sourcelen | 1-4096[c] |
| USER_DATA | 3 | *dstlen | 1-4096[c] |
| USER_PTR | 2 | sourcelen | |
| USER_PTR | 3 | dstlen | |
| LOCK2 | &c->alloc_sem | ||
| LOCK2 | &f->sem | ||
| TYPE_LOCK | (struct jffs2_inode_info)->sem | ||
| TYPE_LOCK | (struct jffs2_sb_info)->alloc_sem |