1/*
2 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3 *
4 * SPDX-License-Identifier: BSD-2-Clause
5 */
6
7#pragma once
8
9typedef enum {
10    seL4_NoError = 0,
11    seL4_InvalidArgument,
12    seL4_InvalidCapability,
13    seL4_IllegalOperation,
14    seL4_RangeError,
15    seL4_AlignmentError,
16    seL4_FailedLookup,
17    seL4_TruncatedMessage,
18    seL4_DeleteFirst,
19    seL4_RevokeFirst,
20    seL4_NotEnoughMemory,
21
22    /* This should always be the last item in the list
23     * so it gives a count of the number of errors in the
24     * enum.
25     */
26    seL4_NumErrors
27} seL4_Error;
28