Symbol: IA32_MSR_APIC_INITIAL_TIMER_COUNT