Changes in kernel/genarch/src/mm/asid.c [63e27ef:9d58539] in mainline

File:

• kernel/genarch/src/mm/asid.c (modified) (5 diffs)

kernel/genarch/src/mm/asid.c

@@ -57 +57 @@
  */
 
-#include <assert.h>
 #include <mm/asid.h>
 #include <mm/as.h>
@@ -65 +64 @@
 #include <synch/mutex.h>
 #include <adt/list.h>
+#include <debug.h>
 
 static size_t asids_allocated = 0;
@@ -78 +78 @@
         as_t *as;
 
-        assert(interrupts_disabled());
-        assert(spinlock_locked(&asidlock));
+        ASSERT(interrupts_disabled());
+        ASSERT(spinlock_locked(&asidlock));
 
         /*
@@ -98 +98 @@
                  */
                 tmp = list_first(&inactive_as_with_asid_list);
-                assert(tmp != NULL);
+                ASSERT(tmp != NULL);
                 list_remove(tmp);
                 
@@ -108 +108 @@
                  */
                 asid = as->asid;
-                assert(asid != ASID_INVALID);
+                ASSERT(asid != ASID_INVALID);
 
                 /*