Constant IA32_X2APIC_TIMER_DIV 

const IA32_X2APIC_TIMER_DIV: u32 = 0x83E;