Symbol: x86_fast_ipi
sys/arch/amd64/amd64/pmap.c
3297
if (x86_fast_ipi(ci, LAPIC_IPI_INVLPG) != 0)
sys/arch/amd64/amd64/pmap.c
3348
if (x86_fast_ipi(ci, LAPIC_IPI_INVLRANGE) != 0)
sys/arch/amd64/amd64/pmap.c
3405
if (x86_fast_ipi(ci, LAPIC_IPI_INVLTLB) != 0)
sys/arch/amd64/amd64/pmap.c
3459
if (x86_fast_ipi(ci, LAPIC_IPI_INVEPT) != 0)
sys/arch/amd64/include/intr.h
219
int x86_fast_ipi(struct cpu_info *, int);