Changes in kernel/generic/src/mm/frame.c [9a5abb78:566da7f8] in mainline

File:

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

kernel/generic/src/mm/frame.c

@@ -391 +391 @@
         
         /* 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 */