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