Rename struct slab_alloc to struct slab_allocator.
[barrelfish] / include / arch / x86 / barrelfish / core_state_arch.h
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_X86_BARRELFISH_CORESTATE_H
16 #define ARCH_X86_BARRELFISH_CORESTATE_H
17
18 #include <barrelfish/core_state.h>
19
20 struct vspace_state {
21     struct vspace vspace;
22     struct pmap_x86 pmap;
23 };
24
25 struct 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
34 struct 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