sel4vspace: add seL4_ARCH_LargePageObject constant
diff --git a/libsel4vspace/arch_include/arm/vspace/arch/page.h b/libsel4vspace/arch_include/arm/vspace/arch/page.h
index 6b1e678..c6c1226 100644
--- a/libsel4vspace/arch_include/arm/vspace/arch/page.h
+++ b/libsel4vspace/arch_include/arm/vspace/arch/page.h
@@ -42,6 +42,8 @@
#define seL4_ARCH_Default_VMAttributes seL4_ARM_Default_VMAttributes
#define seL4_ARCH_VMAttributes seL4_ARM_VMAttributes
#define seL4_ARCH_4KPage seL4_ARM_SmallPageObject
+#define seL4_ARCH_LargePageObject seL4_ARM_LargePageObject
+/* for the size of a large page use seL4_LargePageBits */
/* Remap does not exist on all kernels */
#define seL4_ARCH_Page_Remap seL4_ARM_Page_Remap
#define ARCHPageGetAddress ARMPageGetAddress
diff --git a/libsel4vspace/arch_include/x86/vspace/arch/page.h b/libsel4vspace/arch_include/x86/vspace/arch/page.h
index 896f514..74d44b8 100644
--- a/libsel4vspace/arch_include/x86/vspace/arch/page.h
+++ b/libsel4vspace/arch_include/x86/vspace/arch/page.h
@@ -38,6 +38,8 @@
#define seL4_ARCH_VMAttributes seL4_X86_VMAttributes
#define seL4_ARCH_4KPage seL4_X86_4K
#define seL4_ARCH_Uncached_VMAttributes seL4_X86_CacheDisabled
+#define seL4_ARCH_LargePageObject seL4_X86_LargePageObject
+/* for size of a large page object use seL4_LargePageBits */
/* Remap does not exist on all kernels */
#define seL4_ARCH_Page_Remap seL4_X86_Page_Remap
#define ARCHPageGetAddress X86PageGetAddress
