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