Constant MSR_AMD64_IBSOPDATA2 

pub const MSR_AMD64_IBSOPDATA2: u32 = 0xc0011036;