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 
9 typedef 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