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