Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

arch/x86/kernel/crash.c arch_crash_handle_hotplug_event() -> crash_prepare_headers()

Type Parameter Key Value
PARAM_VALUE 0 need_kernel_map 1
PARAM_VALUE 1 addr 6286766038255472640
PARAM_VALUE 1 *addr 0
PARAM_VALUE 1 *(*addr) 0
PARAM_VALUE 2 sz 7700947903613624320
PARAM_VALUE 2 *sz 0
PARAM_VALUE 3 nr_mem_ranges 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &__crash_hotplug_lock

arch/x86/kernel/crash.c crash_load_segments() -> crash_prepare_headers()

Type Parameter Key Value
PARAM_VALUE 0 need_kernel_map 1
PARAM_VALUE 1 addr 8344572553631899656
PARAM_VALUE 1 *addr 0
PARAM_VALUE 1 *(*addr) 0
PARAM_VALUE 2 sz 8344572553631899664
PARAM_VALUE 2 *sz 0
PARAM_VALUE 3 nr_mem_ranges 8242914245779050496
PARAM_VALUE 3 *nr_mem_ranges 0