1/**
2 * \file
3 * \brief pmap management wrappers
4 */
5
6/*
7 * Copyright (c) 2010, ETH Zurich.
8 * All rights reserved.
9 *
10 * This file is distributed under the terms in the attached LICENSE file.
11 * If you do not find this file, copies can be found by writing to:
12 * ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
13 */
14
15#ifndef ARCH_X86_64_BARRELFISH_PMAP_H
16#define ARCH_X86_64_BARRELFISH_PMAP_H
17
18#include <target/x86_64/barrelfish/pmap_target.h>
19
20#define ARCH_DEFAULT_PMAP_SIZE sizeof(struct pmap_x86)
21
22static inline errval_t pmap_init(struct pmap *pmap, struct vspace *vspace,
23                                 struct capref vnode,
24                                 struct slot_allocator *opt_slot_alloc)
25{
26    return pmap_x86_64_init(pmap, vspace, vnode, opt_slot_alloc);
27}
28
29static inline errval_t pmap_current_init(bool init_domain)
30{
31    return pmap_x86_64_current_init(init_domain);
32}
33
34#endif // ARCH_X86_64_BARRELFISH_PMAP_H
35