1/**
2 * \file
3 * \brief pmap management wrappers
4 */
5
6/*
7 * Copyright (c) 2010, ETH Zurich.
8 * Copyright (c) 2015, Hewlett Packard Enterprise Development LP.
9 * All rights reserved.
10 *
11 * This file is distributed under the terms in the attached LICENSE file.
12 * If you do not find this file, copies can be found by writing to:
13 * ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
14 */
15
16#ifndef ARCH_AARCH64_BARRELFISH_PMAP_H
17#define ARCH_AARCH64_BARRELFISH_PMAP_H
18
19#include <target/aarch64/barrelfish/pmap_target.h>
20
21#define ARCH_DEFAULT_PMAP_SIZE sizeof(struct pmap_aarch64)
22
23errval_t pmap_init(struct pmap *p, struct vspace *v, struct capref vnode,
24                   struct slot_allocator *opt_slot_alloc);
25errval_t pmap_current_init(bool);
26
27#endif // ARCH_AARCH64_BARRELFISH_PMAP_H
28