X-Git-Url: http://rtime.felk.cvut.cz/gitweb/jailhouse.git/blobdiff_plain/bdcdd89e2e4f4aa439935539bb62e0c9fbaf824d..b2b588833a6e9ade955a723242072120de9f1354:/hypervisor/arch/arm/include/asm/paging_modes.h

diff --git a/hypervisor/arch/arm/include/asm/paging_modes.h b/hypervisor/arch/arm/include/asm/paging_modes.h
index 72950eb..6634f9f 100644
--- a/hypervisor/arch/arm/include/asm/paging_modes.h
+++ b/hypervisor/arch/arm/include/asm/paging_modes.h
@@ -15,8 +15,7 @@
 #include <jailhouse/paging.h>
 
 /* Long-descriptor paging */
-extern const struct paging arm_paging[];
-
-#define hv_paging	arm_paging
+extern const struct paging *hv_paging;
+extern const struct paging *cell_paging;
 
 #endif /* !__ASSEMBLY__ */