Symbol: lapic_msr_eoi
sys/platform/pc64/apic/lapic.c
1104
lapic_eoi = lapic_msr_eoi;
sys/platform/pc64/apic/lapic.c
142
static void lapic_msr_eoi(void);