Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/module/decompress.c module_decompress() -> module_gzip_decompress()

Type Parameter Key Value
PARAM_VALUE 0 info 819794768076095488
PARAM_VALUE 0 info->compressed_len 0-s32max
PARAM_VALUE 0 info->hdr 0
PARAM_VALUE 0 info->len 0
PARAM_VALUE 0 info->max_pages 0-1048576
PARAM_VALUE 0 info->mod 0
PARAM_VALUE 0 info->name 0
PARAM_VALUE 0 info->pages 1-u64max
PARAM_VALUE 0 info->sechdrs 0
PARAM_VALUE 0 info->sig_ok 0
PARAM_VALUE 0 info->stroffs 0
PARAM_VALUE 0 info->strtab 0
PARAM_VALUE 0 info->symoffs 0
PARAM_VALUE 0 info->used_pages 0
PARAM_VALUE 2 size 0-s32max
DATA_SOURCE 0 info $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 2 size $2
NO_OVERFLOW_SIMPLE 0 info->max_pages