Index: kernel/arch/ia64/src/mm/frame.c
===================================================================
--- kernel/arch/ia64/src/mm/frame.c	(revision 6b1de7a1011d845f2361a5c2065228bf69c78b8d)
+++ kernel/arch/ia64/src/mm/frame.c	(revision dbaaf0a79914836d585e4d8cdf4bfbc5768d8184)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia64mm	
+/** @addtogroup ia64mm
  * @{
  */
@@ -52,5 +52,4 @@
 
 uintptr_t last_frame = 0;
-uintptr_t end_frame = 0;
 
 void frame_arch_init(void)
Index: kernel/arch/ia64/src/mm/page.c
===================================================================
--- kernel/arch/ia64/src/mm/page.c	(revision 6b1de7a1011d845f2361a5c2065228bf69c78b8d)
+++ kernel/arch/ia64/src/mm/page.c	(revision dbaaf0a79914836d585e4d8cdf4bfbc5768d8184)
@@ -49,8 +49,4 @@
 #include <memstr.h>
 #include <align.h>
-#include <ddi/ddi.h>
-
-/** Physical memory area for devices. */
-static parea_t dev_area;
 
 static void set_environment(void);
@@ -68,7 +64,7 @@
 {
 	region_register rr;
-	pta_register pta;	
+	pta_register pta;
 	int i;
-#ifdef CONFIG_VHPT	
+#ifdef CONFIG_VHPT
 	uintptr_t vhpt_base;
 #endif
@@ -279,11 +275,4 @@
 }
 
-void hw_area(void)
-{
-	dev_area.pbase = end_frame;
-	dev_area.frames = SIZE2FRAMES(0x7fffffffffffffffUL - end_frame);
-	ddi_parea_register(&dev_area);
-}
-
 /** @}
  */