Index: kernel/arch/mips32/src/mm/page.c
===================================================================
--- kernel/arch/mips32/src/mm/page.c	(revision 42f60375d47cb7fc7f3980f71a70729f8311995d)
+++ kernel/arch/mips32/src/mm/page.c	(revision 38ff9259feaac5eadb46f1f741c2126bbca6768c)
@@ -43,13 +43,4 @@
 }
 
-/** Map device into kernel space
- * - on mips, all devices are already mapped into kernel space,
- *   translate the physical address to uncached area
- */
-uintptr_t hw_map(uintptr_t physaddr, size_t size)
-{
-	return physaddr + 0xa0000000;
-}
-
 /** @}
  */