pub const MSR_AMD64_IBSCTL: c_uint = 0xc001103a;