Symbol: lapic_msr_ipi
sys/platform/pc64/apic/lapic.c
1105
apic_ipi = lapic_msr_ipi;
sys/platform/pc64/apic/lapic.c
143
static int lapic_msr_ipi(int dest_type, int vector, int delivery_mode);