pub const VMX_REASON_TASK: u64 = 9;