Symbol: x86_broadcast_ipi
sys/arch/x86/acpi/acpi_wakeup.c
325
x86_broadcast_ipi(X86_IPI_ACPI_CPU_SLEEP);
sys/arch/x86/include/intr.h
237
void x86_broadcast_ipi(int);
sys/arch/x86/x86/cpu.c
1588
x86_broadcast_ipi(X86_IPI_HALT);
sys/arch/x86/x86/ipi.c
250
x86_broadcast_ipi(X86_IPI_XCALL);
sys/arch/x86/x86/ipi.c
265
x86_broadcast_ipi(X86_IPI_GENERIC);
sys/arch/x86/x86/mtrr_i686.c
767
x86_broadcast_ipi(X86_IPI_MTRR);