Symbol: lapic_msr_single_ipi
sys/platform/pc64/apic/lapic.c
1106
single_apic_ipi = lapic_msr_single_ipi;
sys/platform/pc64/apic/lapic.c
144
static void lapic_msr_single_ipi(int cpu, int vector, int delivery_mode);