Index: kernel/arch/arm32/include/mm/frame.h
===================================================================
--- kernel/arch/arm32/include/mm/frame.h	(revision bffa876ec1aab80cef20056e668ae57e611e9d99)
+++ kernel/arch/arm32/include/mm/frame.h	(revision c1f7f6eaa570166428a8687a4e9c7cd839cd666d)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup arm32mm	
+/** @addtogroup arm32mm
  * @{
  */
@@ -37,6 +37,6 @@
 #define KERN_arm32_FRAME_H_
 
-#define FRAME_WIDTH		12 /* 4KB frames */
-#define FRAME_SIZE		(1 << FRAME_WIDTH)
+#define FRAME_WIDTH  12  /* 4KB frames */
+#define FRAME_SIZE   (1 << FRAME_WIDTH)
 
 #ifdef KERNEL
@@ -45,6 +45,6 @@
 #include <arch/types.h>
 
-#define BOOT_PAGE_TABLE_SIZE    0x4000
-#define BOOT_PAGE_TABLE_ADDRESS 0x4000
+#define BOOT_PAGE_TABLE_SIZE     0x4000
+#define BOOT_PAGE_TABLE_ADDRESS  0x4000
 
 #define BOOT_PAGE_TABLE_START_FRAME     (BOOT_PAGE_TABLE_ADDRESS >> FRAME_WIDTH)
@@ -52,5 +52,4 @@
 
 extern uintptr_t last_frame;
-extern uintptr_t end_frame;
 
 extern void frame_arch_init(void);
Index: kernel/arch/arm32/src/mm/frame.c
===================================================================
--- kernel/arch/arm32/src/mm/frame.c	(revision bffa876ec1aab80cef20056e668ae57e611e9d99)
+++ kernel/arch/arm32/src/mm/frame.c	(revision c1f7f6eaa570166428a8687a4e9c7cd839cd666d)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup arm32mm	
+/** @addtogroup arm32mm
  * @{
  */
@@ -42,5 +42,4 @@
 /** Address of the last frame in the memory. */
 uintptr_t last_frame = 0;
-uintptr_t end_frame = 0;
 
 /** Creates memory zones. */
@@ -51,5 +50,4 @@
 	    BOOT_PAGE_TABLE_START_FRAME + BOOT_PAGE_TABLE_SIZE_IN_FRAMES, 0);
 	last_frame = machine_get_memory_size();
-	end_frame = last_frame;
 	
 	/* blacklist boot page table */
Index: kernel/arch/arm32/src/mm/page.c
===================================================================
--- kernel/arch/arm32/src/mm/page.c	(revision bffa876ec1aab80cef20056e668ae57e611e9d99)
+++ kernel/arch/arm32/src/mm/page.c	(revision c1f7f6eaa570166428a8687a4e9c7cd839cd666d)
@@ -44,8 +44,4 @@
 #include <interrupt.h>
 #include <arch/mm/frame.h>
-#include <ddi/ddi.h>
-
-/** Physical memory area for devices. */
-static parea_t dev_area;
 
 /** Initializes page tables.
@@ -111,11 +107,4 @@
 }
 
-void hw_area(void)
-{
-	dev_area.pbase = end_frame;
-	dev_area.frames = SIZE2FRAMES(0xffffffff - end_frame);
-	ddi_parea_register(&dev_area);
-}
-
 /** @}
  */