pub const VMX_REASON_HLT: u64 = 12;