Defined in 1 files as a prototype:

Defined in 13 files as a member:

Defined in 2 files as a macro:

Defined in 2 files as a label:

Defined in 2 files as a function:

Referenced in 66 files:

Smatch caller information:

arch/x86/kernel/tboot.c tboot_shutdown() -> halt()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/reboot.c crash_nmi_callback() -> halt()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/kvm.c kvm_wait() -> halt()

Type Parameter Key Value
NOCHECK_CALL

arch/x86/mm/extable.c early_fixup_exception() -> halt()

Type Parameter Key Value
NOCHECK_CALL

Smatch assignments to (struct machine_ops)->halt:

arch/x86/kernel/reboot.c (null)() -> (struct machine_ops)->halt [6597813919316402176]

arch/x86/xen/enlighten_pv.c (null)() -> (struct machine_ops)->halt [4616574970250096640]