Symbol: x2apic_ipi
sys/arch/x86/x86/lapic.c
125
static int x2apic_ipi(int vec, int target, int dl);
sys/arch/x86/x86/lapic.c
333
x86_ipi = x2apic_ipi;