Symbol: lapic_write32_nofence
sys/x86/x86/local_apic.c
1446
lapic_write32_nofence(LAPIC_EOI, 0);
sys/x86/x86/local_apic.c
1556
lapic_write32_nofence(LAPIC_LVT_TIMER, value);