Constant x86_64::msr_index::MSR_AMD64_IBSOP_REG_COUNT

pub const MSR_AMD64_IBSOP_REG_COUNT: c_uint = 0x00000007;