Changes in kernel/generic/src/mm/frame.c [f72906c:11d41be5] in mainline

File:

• kernel/generic/src/mm/frame.c (modified) (1 diff)

kernel/generic/src/mm/frame.c

@@ -443 +443 @@
 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);