Constant x86_64::msr_index::MSR_AMD64_IBS_REG_COUNT_MAX

pub const MSR_AMD64_IBS_REG_COUNT_MAX: c_uint = 0x00000008;