Constant x86defs::apic::X2APIC_MSR_END

pub const X2APIC_MSR_END: u32 = 0x83f;