2 * Jailhouse, a Linux-based partitioning hypervisor
4 * Copyright (c) Siemens AG, 2014
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.
15 #include <jailhouse/paging.h>
17 /* Long-descriptor paging */
18 extern const struct paging arm_paging[];
20 #define hv_paging arm_paging
22 #endif /* !__ASSEMBLY__ */