Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/xz/xz_dec_lzma2.c lzma_match() -> rc_direct()

Type Parameter Key Value
PARAM_VALUE 0 rc 4096-ptr_max
PARAM_VALUE 1 dest 4096-ptr_max
PARAM_VALUE 1 *dest 2-3
PARAM_VALUE 2 limit 0-2147483642,4294967293-u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 rc->in_limit 0-1002,18446744073709551595-u64max[c]
HALF_LOCKED2 &pcl->lock