Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

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

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-2
DATA_SOURCE 0 info $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 info->max_pages

kernel/module/main.c free_copy() -> module_decompress_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 info 402463899452510208,819794768076095488
PARAM_VALUE 0 info->compressed_len 0-s32max
PARAM_VALUE 0 info->core_typeoffs 0-u32max
PARAM_VALUE 0 info->index.info 0-s32max
PARAM_VALUE 0 info->index.mod 0-s32max
PARAM_VALUE 0 info->index.pcpu 0-65534
PARAM_VALUE 0 info->index.str 0-65534
PARAM_VALUE 0 info->index.sym 0-65534
PARAM_VALUE 0 info->index.vers 0-65534
PARAM_VALUE 0 info->index.vers_ext_crc 0-65534
PARAM_VALUE 0 info->index.vers_ext_name 0-65534
PARAM_VALUE 0 info->init_typeoffs 0-u32max
PARAM_VALUE 0 info->max_pages 0
PARAM_VALUE 0 info->mod_kallsyms_init_off 0,8-u32max
PARAM_VALUE 0 info->pages 0
PARAM_VALUE 0 info->sechdrs 0,4096-ptr_max
PARAM_VALUE 0 info->secstrings 0,4096-ptr_max
PARAM_VALUE 0 info->sig_ok 0
PARAM_VALUE 0 info->stroffs 0-u32max
PARAM_VALUE 0 info->strtab 0,4096-ptr_max
PARAM_VALUE 0 info->symoffs 0-u32max
PARAM_VALUE 0 info->used_pages 0
DATA_SOURCE 0 info $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 info->max_pages