Symbol: log_lapic
sys/platform/pc64/apic/lapic.c
1240
log_lapic(mem_eoi);
sys/platform/pc64/apic/lapic.c
1247
log_lapic(msr_eoi);