SELFOUR-161: Remove Remap operation from api Map can now be used in cases where remap was previously used.
diff --git a/libsel4vspace/arch_include/arm/vspace/arch/page.h b/libsel4vspace/arch_include/arm/vspace/arch/page.h index 99e5d97..feb9ac8 100644 --- a/libsel4vspace/arch_include/arm/vspace/arch/page.h +++ b/libsel4vspace/arch_include/arm/vspace/arch/page.h
@@ -47,7 +47,5 @@ #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/riscv/vspace/arch/page.h b/libsel4vspace/arch_include/riscv/vspace/arch/page.h index 77c5288..376519c 100644 --- a/libsel4vspace/arch_include/riscv/vspace/arch/page.h +++ b/libsel4vspace/arch_include/riscv/vspace/arch/page.h
@@ -44,6 +44,4 @@ #define seL4_ARCH_Uncached_VMAttributes 0 #define seL4_ARCH_LargePageObject seL4_RISCV_Mega_Page /* for size of a large page object use seL4_LargePageBits */ -/* Remap does not exist on all kernels */ -#define seL4_ARCH_Page_Remap seL4_RISCV_Page_Remap #define ARCHPageGetAddress RISCVPageGetAddress
diff --git a/libsel4vspace/arch_include/x86/vspace/arch/page.h b/libsel4vspace/arch_include/x86/vspace/arch/page.h index 8d90a4b..095f7e6 100644 --- a/libsel4vspace/arch_include/x86/vspace/arch/page.h +++ b/libsel4vspace/arch_include/x86/vspace/arch/page.h
@@ -43,7 +43,5 @@ #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