Constant MSR_AMD64_IBSFETCHCTL 

pub const MSR_AMD64_IBSFETCHCTL: u32 = 0xc0011030;