pub const MSR_AMD64_IBSOPDATA2: c_uint = 0xc0011036;