Changes in kernel/generic/src/mm/frame.c [11d41be5:f72906c] 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)
 {
-        ASSERT(zone->flags & ZONE_AVAILABLE);
+        if (!(zone->flags & ZONE_AVAILABLE))
+                return;
         
         frame_t *frame = zone_get_frame(zone, index);