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 90924df6f05e59a15f5187cb8b525c6bb8351392)
@@ -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)
 {