Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/zlib_inflate/inflate.c zlib_inflate() -> zlib_fixedtables()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->check 0-u32max
PARAM_VALUE 0 state->distbits 1,5-6
PARAM_VALUE 0 state->last 0-1
PARAM_VALUE 0 state->lenbits 1-15
PARAM_VALUE 0 state->mode 11-12
PARAM_VALUE 0 state->wrap 0-134217728
BUF_SIZE 0 state->lencode (-1),8192
BUF_SIZE 0 state->next (-1),8192
FUZZY_MAX 0 state->distbits 6
FUZZY_MAX 0 state->lenbits 9
FUZZY_MAX 0 state->mode 11
BIT_INFO 0 state->mode 0x0,0x1f
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 state->length 1-65533[c]
USER_DATA 0 state->length 1-65534[c][u]
USER_DATA 0 state->total 0-u64max[c][u]
HALF_LOCKED2 &pcl->lock
HALF_LOCKED2 &ppp->rlock
HALF_LOCKED2 &zstrm->lock
HALF_LOCKED2 bh
HALF_LOCKED2 global &inflate_mutex
HALF_LOCKED2 global &read_mutex
HALF_LOCKED2 global &zisofs_zlib_lock
HALF_LOCKED2 rcu_read