1/*
2 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3 * Copyright 2015, 2016 Hesham Almatary <heshamelmatary@gmail.com>
4 *
5 * SPDX-License-Identifier: BSD-2-Clause
6 */
7
8#pragma once
9
10#ifdef HAVE_AUTOCONF
11#include <autoconf.h>
12#endif /* HAVE_AUTOCONF */
13
14typedef enum _object {
15    seL4_RISCV_4K_Page = seL4_ModeObjectTypeCount,
16    seL4_RISCV_Mega_Page,
17    seL4_RISCV_PageTableObject,
18    seL4_ObjectTypeCount
19} seL4_ArchObjectType;
20
21typedef seL4_Word object_t;
22
23
24