Constant MSR_AMD64_ICIBSEXTDCTL 

pub const MSR_AMD64_ICIBSEXTDCTL: u32 = 0xc001103c;