pub const VMX_REASON_RDTSC: u64 = 16;