Index: kernel/arch/ia64/include/mm/frame.h
===================================================================
--- kernel/arch/ia64/include/mm/frame.h	(revision 6b1de7a1011d845f2361a5c2065228bf69c78b8d)
+++ kernel/arch/ia64/include/mm/frame.h	(revision e49e2348e7647a4dd4d4e2879082790396c4f4f3)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia64mm	
+/** @addtogroup ia64mm
  * @{
  */
@@ -36,6 +36,6 @@
 #define KERN_ia64_FRAME_H_
 
-#define FRAME_WIDTH		14	/* 16K */
-#define FRAME_SIZE		(1 << FRAME_WIDTH)
+#define FRAME_WIDTH  14  /* 16K */
+#define FRAME_SIZE   (1 << FRAME_WIDTH)
 
 #ifdef KERNEL
@@ -45,5 +45,4 @@
 
 extern uintptr_t last_frame;
-extern uintptr_t end_frame;
 
 extern void frame_arch_init(void);
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 e49e2348e7647a4dd4d4e2879082790396c4f4f3)
@@ -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 e49e2348e7647a4dd4d4e2879082790396c4f4f3)
@@ -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);
-}
-
 /** @}
  */