Constant MSR_AMD64_IBSDCLINAD 

pub const MSR_AMD64_IBSDCLINAD: u32 = 0xc0011038;