Index: kernel/generic/src/mm/backend_anon.c
===================================================================
--- kernel/generic/src/mm/backend_anon.c	(revision e608cbea8147ce5a5b28bbf343c30023b3327f75)
+++ kernel/generic/src/mm/backend_anon.c	(revision b838fdf3a2902670fba3ea14c53cd399698f5c96)
@@ -115,5 +115,6 @@
 			}
 			if (allocate) {
-				frame = (uintptr_t) frame_alloc(ONE_FRAME, 0);
+				frame = (uintptr_t) frame_alloc_noreserve(
+				    ONE_FRAME, 0);
 				memsetb((void *) PA2KA(frame), FRAME_SIZE, 0);
 				
@@ -145,5 +146,5 @@
 		 *   the different causes
 		 */
-		frame = (uintptr_t) frame_alloc(ONE_FRAME, 0);
+		frame = (uintptr_t) frame_alloc_noreserve(ONE_FRAME, 0);
 		memsetb((void *) PA2KA(frame), FRAME_SIZE, 0);
 	}
@@ -174,5 +175,5 @@
 	ASSERT(mutex_locked(&area->lock));
 
-	frame_free(frame);
+	frame_free_noreserve(frame);
 }
 
Index: kernel/generic/src/mm/backend_elf.c
===================================================================
--- kernel/generic/src/mm/backend_elf.c	(revision e608cbea8147ce5a5b28bbf343c30023b3327f75)
+++ kernel/generic/src/mm/backend_elf.c	(revision b838fdf3a2902670fba3ea14c53cd399698f5c96)
@@ -153,5 +153,5 @@
 		 */
 		if (entry->p_flags & PF_W) {
-			frame = (uintptr_t)frame_alloc(ONE_FRAME, 0);
+			frame = (uintptr_t)frame_alloc_noreserve(ONE_FRAME, 0);
 			memcpy((void *) PA2KA(frame),
 			    (void *) (base + i * FRAME_SIZE), FRAME_SIZE);
@@ -171,5 +171,5 @@
 		 * and cleared.
 		 */
-		frame = (uintptr_t)frame_alloc(ONE_FRAME, 0);
+		frame = (uintptr_t) frame_alloc_noreserve(ONE_FRAME, 0);
 		memsetb((void *) PA2KA(frame), FRAME_SIZE, 0);
 		dirty = true;
@@ -193,5 +193,5 @@
 			pad_hi = 0;
 
-		frame = (uintptr_t)frame_alloc(ONE_FRAME, 0);
+		frame = (uintptr_t) frame_alloc_noreserve(ONE_FRAME, 0);
 		memcpy((void *) (PA2KA(frame) + pad_lo),
 		    (void *) (base + i * FRAME_SIZE + pad_lo),
@@ -252,5 +252,5 @@
 			 * data.
 			 */
-			frame_free(frame);
+			frame_free_noreserve(frame);
 		}
 	} else {
@@ -260,5 +260,5 @@
 		 * anonymous). In any case, a frame needs to be freed.
 		 */
-		frame_free(frame);
+		frame_free_noreserve(frame);
 	}
 }