Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

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

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/reboot.c emergency_reboot_disable_virtualization() -> x86_virt_emergency_disable_virtualization_cpu()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq

arch/x86/kernel/smp.c __sysvec_reboot() -> x86_virt_emergency_disable_virtualization_cpu()

Type Parameter Key Value
PREEMPT_ADD
NOCHECK_CALL

arch/x86/kernel/smp.c smp_stop_nmi_callback() -> x86_virt_emergency_disable_virtualization_cpu()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 global &nmi_reason_lock

arch/x86/kernel/crash.c native_machine_crash_shutdown() -> x86_virt_emergency_disable_virtualization_cpu()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
HALF_LOCKED2 flags