Symbol: lapic_mem_ipi
sys/platform/pc64/apic/lapic.c
1124
apic_ipi = lapic_mem_ipi;
sys/platform/pc64/apic/lapic.c
139
static int lapic_mem_ipi(int dest_type, int vector, int delivery_mode);