arm: prepare port for 48 bit PARange support

[jailhouse.git] / 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 72950eb848f52951b353a81c0aa8886afed17253..6634f9fcadf774931105ccc4d61318070696295c 100644 (file)
--- 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__ */