Symbol: I386_IPI_HALT
sys/arch/i386/i386/acpi_machdep.c
453
i386_broadcast_ipi(I386_IPI_HALT);
sys/arch/i386/i386/machdep.c
2654
i386_broadcast_ipi(I386_IPI_HALT);