Constant MSR_AMD64_IBSFETCHPHYSAD 

pub const MSR_AMD64_IBSFETCHPHYSAD: u32 = 0xc0011032;