Index: kernel/arch/ppc32/src/mm/frame.c
===================================================================
--- kernel/arch/ppc32/src/mm/frame.c	(revision 7919cd502f95d0601ec48760744af644656dfb4f)
+++ kernel/arch/ppc32/src/mm/frame.c	(revision dbaaf0a79914836d585e4d8cdf4bfbc5768d8184)
@@ -41,5 +41,4 @@
 
 uintptr_t last_frame = 0;
-uintptr_t end_frame = 0;
 
 void physmem_print(void)
@@ -77,6 +76,4 @@
 	}
 	
-	end_frame = last_frame;
-	
 	/* First is exception vector, second is 'implementation specific',
 	   third and fourth is reserved, other contain real mode code */
Index: kernel/arch/ppc32/src/mm/page.c
===================================================================
--- kernel/arch/ppc32/src/mm/page.c	(revision 7919cd502f95d0601ec48760744af644656dfb4f)
+++ kernel/arch/ppc32/src/mm/page.c	(revision dbaaf0a79914836d585e4d8cdf4bfbc5768d8184)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ppc32mm	
+/** @addtogroup ppc32mm
  * @{
  */
@@ -38,8 +38,4 @@
 #include <align.h>
 #include <config.h>
-#include <ddi/ddi.h>
-
-/** Physical memory area for devices. */
-static parea_t dev_area;
 
 void page_arch_init(void)
@@ -68,11 +64,4 @@
 }
 
-void hw_area(void)
-{
-	dev_area.pbase = end_frame;
-	dev_area.frames = SIZE2FRAMES(0xffffffff - end_frame);
-	ddi_parea_register(&dev_area);
-}
-
 /** @}
  */