Symbol: i82489_ipi
sys/arch/amd64/amd64/lapic.c
112
void i82489_ipi(int vec, int target, int dl);
sys/arch/amd64/amd64/lapic.c
117
void (*x86_ipi)(int vec, int target, int dl) = i82489_ipi;