Index: kernel/arch/abs32le/src/mm/page.c
===================================================================
--- kernel/arch/abs32le/src/mm/page.c	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
+++ kernel/arch/abs32le/src/mm/page.c	(revision d9f53877c83a2ddc2668567168e75a24406af55c)
@@ -56,10 +56,4 @@
 }
 
-
-uintptr_t hw_map(uintptr_t physaddr, size_t size)
-{
-	return physaddr;
-}
-
 void page_fault(unsigned int n __attribute__((unused)), istate_t *istate)
 {