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 typedef enum api_object {
9     seL4_UntypedObject,
10     seL4_TCBObject,
11     seL4_EndpointObject,
12     seL4_NotificationObject,
13     seL4_CapTableObject,
14 #ifdef CONFIG_KERNEL_MCS
15     seL4_SchedContextObject,
16     seL4_ReplyObject,
17 #endif
18     seL4_NonArchObjectTypeCount,
19 } seL4_ObjectType;
20 
21 __attribute__((deprecated("use seL4_NotificationObject"))) static const seL4_ObjectType seL4_AsyncEndpointObject =
22     seL4_NotificationObject;
23 
24 typedef seL4_Word api_object_t;
25 
26