pub const MSR_SYSCALL_MASK: c_uint = 0xc0000084;