Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/proc/vmcore.c process_ptload_program_headers_elf32() -> vmcore_alloc_add_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 7607656178457653248 |
| PARAM_VALUE | 0 | list->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | paddr | 1-u32max |
| DATA_SOURCE | 0 | list | $3 |
| UNITS | 1 | paddr | unit_byte |
| UNITS | 2 | size | unit_byte |
fs/proc/vmcore.c process_ptload_program_headers_elf64() -> vmcore_alloc_add_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 7607656178457653248 |
| PARAM_VALUE | 0 | list->prev | 4096-ptr_max |
| DATA_SOURCE | 0 | list | $3 |
| UNITS | 1 | paddr | unit_byte |
| UNITS | 2 | size | unit_byte |