Changeset 11d41be5 in mainline

Timestamp:

2013-09-12T22:46:57Z (11 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

67fbd5e, 99c2c69e

Parents:

eabce2e

Message:

revert to the original assertion

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);