Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/jffs2/read.c jffs2_read_dnode() -> jffs2_decompress()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->mtd 4096-ptr_max
PARAM_VALUE 0 c->wbuf_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 c->wbuf_sem.first_waiter->type 0-1
PARAM_VALUE 0 c->xattr_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 c->xattr_sem.first_waiter->type 0-1
PARAM_VALUE 1 f 4096-ptr_max
PARAM_VALUE 3 cdata_in 16,4096-ptr_max
PARAM_VALUE 5 cdatalen 0-4000000
BUF_SIZE 0 c (-1),1-s32max
BUF_SIZE 0 c (-1),1-s32max
BUF_SIZE 3 cdata_in 0-u32max
BUF_SIZE 3 cdata_in 0-u32max
BUF_SIZE 4 data_out 0-u32max,u64max
BUF_SIZE 4 data_out 0-u32max,u64max
CAPPED_DATA 0 c->mtd 1
CAPPED_DATA 5 cdatalen 1
DATA_SOURCE 0 c $0
DATA_SOURCE 1 f $1
DATA_SOURCE 3 cdata_in r _kmalloc_noprof
STR_LEN 0 c (-1)-254
STR_LEN 0 c (-1)-254
BIT_INFO 2 comprtype 0x0,0xff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 c unit_byte
UNITS 5 cdatalen unit_byte
UNITS 6 datalen unit_byte
HALF_LOCKED2 0 &c->alloc_sem
HALF_LOCKED2 0 &c->wbuf_sem
HALF_LOCKED2 1 &f->sem