pub const VMX_REASON_VMLAUNCH: u64 = 20;