Constant VMX_REASON_TASK 

pub const VMX_REASON_TASK: uint64_t = 9;