pub const MSR_AMD64_IBSOPDATA4: c_uint = 0xc001103d;