Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision f72906c1ceb4b546d431ab8e9c41434425c1096f)
+++ kernel/generic/src/mm/frame.c	(revision dd0c8a0852b753e0174ee3ff058e25d74b2ae4e0)
@@ -443,6 +443,5 @@
 NO_TRACE static void zone_mark_unavailable(zone_t *zone, size_t index)
 {
-	if (!(zone->flags & ZONE_AVAILABLE))
-		return;
+	ASSERT(zone->flags & ZONE_AVAILABLE);
 	
 	frame_t *frame = zone_get_frame(zone, index);