2 * Jailhouse, a Linux-based partitioning hypervisor
4 * Copyright (c) Siemens AG, 2013-2016
7 * Jan Kiszka <jan.kiszka@siemens.com>
9 * This work is licensed under the terms of the GNU GPL, version 2. See
10 * the COPYING file in the top-level directory.
13 #ifndef _JAILHOUSE_ASM_CELL_H
14 #define _JAILHOUSE_ASM_CELL_H
16 #include <jailhouse/types.h>
18 #include <asm/spinlock.h>
22 #include <jailhouse/cell-config.h>
23 #include <jailhouse/paging.h>
24 #include <jailhouse/hypercall.h>
26 /** ARM-specific cell states. */
28 struct paging_structures mm;
31 spinlock_t caches_lock;
34 u32 irq_bitmap[1024/32];
36 unsigned int last_virt_id;
39 /** PCI-related cell states. */
43 #endif /* !__ASSEMBLY__ */
44 #endif /* !_JAILHOUSE_ASM_CELL_H */