Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision 9a5abb78a90c59a565baef84ad67223da259a941)
+++ kernel/generic/src/mm/as.c	(revision 378bf85e5d08bc77a7e01cfbca468d76993d2e6f)
@@ -1725,5 +1725,5 @@
 	ASSERT(count);
 	
-	btree_node_t *leaf;
+	btree_node_t *leaf = NULL;
 	size_t pages = (size_t) btree_search(&area->used_space, page, &leaf);
 	if (pages) {
@@ -1733,4 +1733,6 @@
 		return false;
 	}
+
+	ASSERT(leaf != NULL);
 	
 	if (!leaf->keys) {
Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision 9a5abb78a90c59a565baef84ad67223da259a941)
+++ kernel/generic/src/mm/frame.c	(revision 378bf85e5d08bc77a7e01cfbca468d76993d2e6f)
@@ -391,9 +391,10 @@
 	
 	/* Allocate frames from zone */
-	size_t index;
+	size_t index = (size_t) -1;
 	int avail = bitmap_allocate_range(&zone->bitmap, count, zone->base,
 	    FRAME_LOWPRIO, constraint, &index);
 	
 	ASSERT(avail);
+	ASSERT(index != (size_t) -1);
 	
 	/* Update frame reference count */