Constant x86defs::X86X_MSR_MC_UPDATE_PATCH_LEVEL

pub const X86X_MSR_MC_UPDATE_PATCH_LEVEL: u32 = 0x8b;