pub const MSR_AMD64_IBSOPRIP: c_uint = 0xc0011034;