Constant x86_64::msr_index::MSR_AMD64_IBSOPDATA3

pub const MSR_AMD64_IBSOPDATA3: c_uint = 0xc0011037;