Constant MSR_AMD64_IBS_REG_COUNT_MAX 

pub const MSR_AMD64_IBS_REG_COUNT_MAX: u32 = 0x8;