Changes in kernel/generic/src/sysinfo/stats.c [63e27ef:1ab8539] 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>
@@ -46 +45 @@
 #include <proc/thread.h>
 #include <interrupt.h>
-#include <stdbool.h>
 #include <str.h>
 #include <errno.h>
@@ -232 +230 @@
 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;
@@ -334 +332 @@
 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;