Constant IA32_X2APIC_TIMER_INIT 

const IA32_X2APIC_TIMER_INIT: u32 = 0x838;