Constant x86defs::apic::X2APIC_MSR_BASE

pub const X2APIC_MSR_BASE: u32 = 0x800;