1/*
2 * Copyright 2019, Data61, CSIRO (ABN 41 687 119 230)
3 *
4 * SPDX-License-Identifier: BSD-2-Clause
5 */
6
7#pragma once
8
9/* ARM VM Exit Reasons */
10enum arm_vm_exit_reasons {
11    VM_GUEST_ABORT_EXIT,
12    VM_SYSCALL_EXIT,
13    VM_USER_EXCEPTION_EXIT,
14    VM_VGIC_MAINTENANCE_EXIT,
15    VM_VCPU_EXIT,
16    VM_VPPI_EXIT,
17    VM_UNKNOWN_EXIT,
18    VM_NUM_EXITS
19};
20