Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/jffs2/compr.c jffs2_compress() -> jffs2_is_best_compression()

Type Parameter Key Value
PARAM_VALUE 0 this 4096-ptr_max
PARAM_VALUE 1 best 4096-ptr_max
PARAM_VALUE 1 best->compr 2-3,5-7
PARAM_VALUE 3 bestsize 1-3999999
BUF_SIZE 0 this->compr_buf 0-u32max,u64max
CAPPED_DATA 3 bestsize 1
NOSPEC 3 bestsize
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 this->compr_buf_size 1-4096[c]
USER_DATA 1 best->compr_buf_size 1-4096[c]
USER_DATA 2 size 0-u32max[c][u]
USER_DATA 3 bestsize 1-3999999[c][u]
LOCK2 &c->alloc_sem
LOCK2 &f->sem
LOCK2 global &jffs2_compressor_list_lock
TYPE_LOCK (struct jffs2_inode_info)->sem
TYPE_LOCK (struct jffs2_sb_info)->alloc_sem