Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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-1048577
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-1
DATA_SOURCE 0 info $0
NO_OVERFLOW_SIMPLE 0 info->max_pages