Symbol: x2apic_ipi
sys/arch/amd64/amd64/lapic.c
107
void x2apic_ipi(int vec, int target, int dl);
sys/arch/amd64/amd64/lapic.c
206
x86_ipi = x2apic_ipi;