pub const VMX_REASON_TRIPLE_FAULT: u64 = 2;