sys/arch/amd64/amd64/acpi_machdep.c

532

x86_broadcast_ipi(X86_IPI_HALT);

sys/arch/amd64/amd64/amd64_mem.c

281

x86_broadcast_ipi(X86_IPI_MTRR);

sys/arch/amd64/amd64/cpu.c

1498

x86_broadcast_ipi(X86_IPI_WBINVD);

sys/arch/amd64/amd64/machdep.c

952

x86_broadcast_ipi(X86_IPI_HALT);

sys/arch/amd64/amd64/mp_setperf.c

42

x86_broadcast_ipi(X86_IPI_SETPERF);

sys/arch/amd64/amd64/pctr.c

164

x86_broadcast_ipi(X86_IPI_PCTR);

sys/arch/amd64/amd64/vmm_machdep.c

665

x86_broadcast_ipi(X86_IPI_START_VMM);

sys/arch/amd64/amd64/vmm_machdep.c

725

x86_broadcast_ipi(X86_IPI_STOP_VMM);

sys/arch/amd64/include/intr.h

220

void x86_broadcast_ipi(int);