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 device_queue_manager_ops)->halt: