Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/reboot.c native_machine_shutdown() -> (struct x86_guest)->enc_kexec_begin()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &system_transition_mutex

arch/x86/kernel/crash.c native_machine_crash_shutdown() -> (struct x86_guest)->enc_kexec_begin()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
HALF_LOCKED2 flags