Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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
PARAM_VALUE 0 info->mod 0
PARAM_VALUE 0 info->name 0
PARAM_VALUE 0 info->pages 0
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 1 extent 0-1048576
DATA_SOURCE 0 info $0

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

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-1
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
PARAM_VALUE 1 extent 0-1
CAPPED_DATA 0 info->max_pages 1
CAPPED_DATA 0 info->used_pages 1
CAPPED_DATA 1 extent 1
DATA_SOURCE 0 info $0
PARAM_COMPARE 0 info->max_pages == $0->used_pages
PARAM_COMPARE 1 extent == $0->max_pages
NO_OVERFLOW_SIMPLE 0 info->max_pages