Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

arch/x86/kernel/process.c stop_this_cpu() -> native_halt()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
HALF_LOCKED2 rcu_read

arch/x86/kernel/smpboot.c hlt_play_dead() -> native_halt()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/smpboot.c mwait_play_dead() -> native_halt()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 irq