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

File:

• kernel/generic/src/mm/frame.c (modified) (2 diffs)

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 */
@@ -901 +902 @@
                 }
                 
-#ifdef CONFIG_DEBUG
                 size_t avail = frame_total_free_get_internal();
-#endif
                 
                 irq_spinlock_unlock(&zones.lock, true);