Symbol: X86_IPI_HALT
sys/arch/amd64/amd64/acpi_machdep.c
533
x86_broadcast_ipi(X86_IPI_HALT);
sys/arch/amd64/amd64/machdep.c
950
x86_broadcast_ipi(X86_IPI_HALT);