pub const VMX_REASON_RDTSCP: u64 = 51;