Changes in kernel/generic/src/sysinfo/stats.c [1ab8539:63e27ef] in mainline

File:

• kernel/generic/src/sysinfo/stats.c (modified) (4 diffs)

kernel/generic/src/sysinfo/stats.c

@@ -34 +34 @@
  */
 
+#include <assert.h>
 #include <typedefs.h>
 #include <abi/sysinfo.h>
@@ -45 +46 @@
 #include <proc/thread.h>
 #include <interrupt.h>
+#include <stdbool.h>
 #include <str.h>
 #include <errno.h>
@@ -230 +232 @@
 static void produce_stats_task(task_t *task, stats_task_t *stats_task)
 {
-        ASSERT(interrupts_disabled());
-        ASSERT(irq_spinlock_locked(&task->lock));
+        assert(interrupts_disabled());
+        assert(irq_spinlock_locked(&task->lock));
         
         stats_task->task_id = task->taskid;
@@ -332 +334 @@
 static void produce_stats_thread(thread_t *thread, stats_thread_t *stats_thread)
 {
-        ASSERT(interrupts_disabled());
-        ASSERT(irq_spinlock_locked(&thread->lock));
+        assert(interrupts_disabled());
+        assert(irq_spinlock_locked(&thread->lock));
         
         stats_thread->thread_id = thread->tid;