Changes in kernel/generic/src/mm/tlb.c [9432f08:63e27ef] in mainline

File:

• kernel/generic/src/mm/tlb.c (modified) (5 diffs)

kernel/generic/src/mm/tlb.c

@@ -43 +43 @@
 #include <mm/asid.h>
 #include <arch/mm/tlb.h>
+#include <assert.h>
 #include <smp/ipi.h>
 #include <synch/spinlock.h>
@@ -50 +51 @@
 #include <arch.h>
 #include <panic.h>
-#include <debug.h>
 #include <cpu.h>
 
@@ -152 +152 @@
 void tlb_shootdown_ipi_recv(void)
 {
-        ASSERT(CPU);
+        assert(CPU);
         
         CPU->tlb_active = false;
@@ -159 +159 @@
         
         irq_spinlock_lock(&CPU->lock, false);
-        ASSERT(CPU->tlb_messages_count <= TLB_MESSAGE_QUEUE_LEN);
+        assert(CPU->tlb_messages_count <= TLB_MESSAGE_QUEUE_LEN);
         
         size_t i;
@@ -176 +176 @@
                         break;
                 case TLB_INVL_PAGES:
-                        ASSERT(count);
+                        assert(count);
                         tlb_invalidate_pages(asid, page, count);
                         break;