Constant MSR_AMD64_IBSOPDATA3

pub const MSR_AMD64_IBSOPDATA3: c_uint = 0xc0011037;