Symbol: lapic_mem_single_ipi
sys/platform/pc64/apic/lapic.c
1125
single_apic_ipi = lapic_mem_single_ipi;
sys/platform/pc64/apic/lapic.c
140
static void lapic_mem_single_ipi(int cpu, int vector, int delivery_mode);