Index: kernel/arch/mips64/src/mm/page.c
===================================================================
--- kernel/arch/mips64/src/mm/page.c	(revision 3a4ac81ba8f6e2a39733e3ea182453fee6ed9b92)
+++ kernel/arch/mips64/src/mm/page.c	(revision 1c01e6cdfeee9466652e3b2b78ee532b3b041b26)
@@ -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 + 0xffffffffa0000000;
-}
-
 /** @}
  */