Index: kernel/arch/abs32le/src/mm/page.c
===================================================================
--- kernel/arch/abs32le/src/mm/page.c	(revision ddcc8a0d63f8ff64bcff9151c6d65b103343d22c)
+++ kernel/arch/abs32le/src/mm/page.c	(revision 961c0484519f4f59bbfc17feda26b91c8046c90a)
@@ -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)
 {