Symbol: MSR_X2APIC_ICR_TIMER
sys/platform/pc64/apic/lapic.c
734
LAPIC_MSR_WRITE(MSR_X2APIC_ICR_TIMER, (uint32_t)reload);
sys/platform/pc64/apic/lapic.c
737
LAPIC_MSR_WRITE(MSR_X2APIC_ICR_TIMER, (uint32_t)reload);