Constant x86defs::X86X_MSR_EFER

pub const X86X_MSR_EFER: u32 = 0xC0000080;