pub const VMX_REASON_VMCALL: u64 = 18;