pub const MSR_AMD64_IBSOPCTL: c_uint = 0xc0011033;