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
