Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 type 0
PARAM_VALUE 1 lens 4096-ptr_max
PARAM_VALUE 2 codes 19
PARAM_VALUE 3 table 4096-ptr_max
PARAM_VALUE 4 bits 4096-ptr_max
PARAM_VALUE 4 *bits 7
BUF_SIZE 1 lens 640
BUF_SIZE 5 work 576
RX_PATH
TASK_NOT_RUNNING
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

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

Type Parameter Key Value
PARAM_VALUE 0 type 1
PARAM_VALUE 1 lens 4096-ptr_max
PARAM_VALUE 3 table 4096-ptr_max
PARAM_VALUE 4 bits 4096-ptr_max
PARAM_VALUE 4 *bits 9
BUF_SIZE 1 lens 640
BUF_SIZE 5 work 576
RX_PATH
TASK_NOT_RUNNING
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

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

Type Parameter Key Value
PARAM_VALUE 0 type 2
PARAM_VALUE 3 table 4096-ptr_max
PARAM_VALUE 3 *table 4096-18446744073709547521
PARAM_VALUE 4 bits 4096-ptr_max
PARAM_VALUE 4 *bits 6
BUF_SIZE 5 work 576
RX_PATH
TASK_NOT_RUNNING
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