pub const MSR_AMD64_IBSFETCHCTL: c_uint = 0xc0011030;