Symbol: i82489_ipi
sys/arch/x86/x86/lapic.c
124
static int i82489_ipi(int vec, int target, int dl);
sys/arch/x86/x86/lapic.c
126
int (*x86_ipi)(int, int, int) = i82489_ipi;