Constant MSR_AMD64_IBSOP_REG_MASK 

pub const MSR_AMD64_IBSOP_REG_MASK: u32 = 0x7f;