Constant x86_64::msr_index::MSR_AMD64_IBSFETCH_REG_COUNT

pub const MSR_AMD64_IBSFETCH_REG_COUNT: c_uint = 0x00000003;