Constant X2APIC_MSR_BASE 

pub const X2APIC_MSR_BASE: u32 = 0x800;