pub const VMX_REASON_INIT: u64 = 3;