1/**
2 * \file
3 * \brief
4 */
5
6/*
7 * Copyright (c) 2008, 2009, 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_ARM_BARRELFISH_CORESTATE_H
16#define ARCH_ARM_BARRELFISH_CORESTATE_H
17
18#include <barrelfish/core_state.h>
19
20struct vspace_state {
21    struct vspace vspace;
22    struct pmap_arm pmap;
23};
24
25struct pinned_state {
26    struct thread_mutex mutex;
27    struct memobj_pinned memobj;
28    struct vregion vregion;
29    lvaddr_t offset;
30    struct slab_allocator vregion_list_slab;
31    struct slab_allocator frame_list_slab;
32};
33
34struct core_state_arch {
35    struct core_state_generic c;
36    struct vspace_state vspace_state;
37    struct pinned_state pinned_state;
38};
39
40#endif
41