git.barrelfish.org Git - barrelfish/blob - 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