Constant MSR_AMD64_IBSOPDATA3 

pub const MSR_AMD64_IBSOPDATA3: u32 = 0xc0011037;