Index: kernel/arch/arm32/include/arch/mm/page.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/page.h	(revision 3c9646bb642c12095448814f52d0894128a11d85)
+++ kernel/arch/arm32/include/arch/mm/page.h	(revision 02e5e3425d6e6ecccf2cd07c77b7170db6f5419a)
@@ -73,8 +73,8 @@
 
 /* Page table sizes for each level. */
-#define PTL0_SIZE_ARCH          FOUR_FRAMES
-#define PTL1_SIZE_ARCH          0
-#define PTL2_SIZE_ARCH          0
-#define PTL3_SIZE_ARCH          ONE_FRAME
+#define PTL0_FRAMES_ARCH  4
+#define PTL1_FRAMES_ARCH  1
+#define PTL2_FRAMES_ARCH  1
+#define PTL3_FRAMES_ARCH  1
 
 /* Macros calculating indices into page tables for each level. */
Index: kernel/arch/arm32/src/mm/page.c
===================================================================
--- kernel/arch/arm32/src/mm/page.c	(revision 3c9646bb642c12095448814f52d0894128a11d85)
+++ kernel/arch/arm32/src/mm/page.c	(revision 02e5e3425d6e6ecccf2cd07c77b7170db6f5419a)
@@ -69,5 +69,5 @@
 #ifdef HIGH_EXCEPTION_VECTORS
 	/* Create mapping for exception table at high offset */
-	uintptr_t ev_frame = frame_alloc(ONE_FRAME, FRAME_NONE, 0);
+	uintptr_t ev_frame = frame_alloc(1, FRAME_NONE, 0);
 	page_mapping_insert(AS_KERNEL, EXC_BASE_ADDRESS, ev_frame, flags);
 #else
Index: kernel/arch/arm32/src/ras.c
===================================================================
--- kernel/arch/arm32/src/ras.c	(revision 3c9646bb642c12095448814f52d0894128a11d85)
+++ kernel/arch/arm32/src/ras.c	(revision 02e5e3425d6e6ecccf2cd07c77b7170db6f5419a)
@@ -51,8 +51,8 @@
 void ras_init(void)
 {
-	uintptr_t frame = frame_alloc(ONE_FRAME,
-	    FRAME_ATOMIC | FRAME_HIGHMEM, 0);
+	uintptr_t frame =
+	    frame_alloc(1, FRAME_ATOMIC | FRAME_HIGHMEM, 0);
 	if (!frame)
-		frame = frame_alloc(ONE_FRAME, FRAME_LOWMEM, 0);
+		frame = frame_alloc(1, FRAME_LOWMEM, 0);
 	
 	ras_page = (uintptr_t *) km_map(frame,