Constant MSR_AMD64_IBSFETCH_REG_COUNT 

pub const MSR_AMD64_IBSFETCH_REG_COUNT: u32 = 0x3;