pub const MSR_AMD64_IBSDCLINAD: c_uint = 0xc0011038;