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#define SEL4_MAPPING_LOOKUP_LEVEL 2
9#define SEL4_MAPPING_LOOKUP_NO_PT 21
10#define SEL4_MAPPING_LOOKUP_NO_PD 30
11#define SEL4_MAPPING_LOOKUP_NO_PDPT 39
12
13LIBSEL4_INLINE_FUNC seL4_Word seL4_MappingFailedLookupLevel(void)
14{
15    return seL4_GetMR(SEL4_MAPPING_LOOKUP_LEVEL);
16}
17
18
19