Changes in kernel/arch/ia64/src/mm/tlb.c [63e27ef:560b81c] in mainline

File:

• kernel/arch/ia64/src/mm/tlb.c (modified) (11 diffs)

kernel/arch/ia64/src/mm/tlb.c

@@ -48 +48 @@
 #include <arch/pal/pal.h>
 #include <arch/asm.h>
-#include <assert.h>
 #include <panic.h>
 #include <print.h>
@@ -450 +449 @@
         entry.word[1] = 0;
         
-        assert(t->x);
+        ASSERT(t->x);
         
         entry.p = t->p;
@@ -489 +488 @@
         va = istate->cr_ifa; /* faulting address */
         
-        assert(!is_kernel_fault(va));
+        ASSERT(!is_kernel_fault(va));
 
         bool found = page_mapping_find(AS, va, true, &t);
         if (found) {
-                assert(t.p);
+                ASSERT(t.p);
 
                 /*
@@ -606 +605 @@
         bool found = page_mapping_find(as, va, true, &t);
         if (found) {
-                assert(t.p);
+                ASSERT(t.p);
 
                 /*
@@ -635 +634 @@
 void data_nested_tlb_fault(unsigned int n, istate_t *istate)
 {
-        assert(false);
+        ASSERT(false);
 }
 
@@ -657 +656 @@
         bool found = page_mapping_find(as, va, true, &t);
 
-        assert(found);
-        assert(t.p);
+        ASSERT(found);
+        ASSERT(t.p);
 
         if (found && t.p && t.w) {
@@ -686 +685 @@
         va = istate->cr_ifa;  /* faulting address */
 
-        assert(!is_kernel_fault(va));
+        ASSERT(!is_kernel_fault(va));
         
         bool found = page_mapping_find(AS, va, true, &t);
 
-        assert(found);
-        assert(t.p);
+        ASSERT(found);
+        ASSERT(t.p);
 
         if (found && t.p && t.x) {
@@ -725 +724 @@
         bool found = page_mapping_find(as, va, true, &t);
 
-        assert(found);
-        assert(t.p);
+        ASSERT(found);
+        ASSERT(t.p);
 
         if (found && t.p) {
@@ -758 +757 @@
         va = istate->cr_ifa;  /* faulting address */
 
-        assert(!is_kernel_fault(va));
+        ASSERT(!is_kernel_fault(va));
         
         /*
@@ -765 +764 @@
         bool found = page_mapping_find(AS, va, true, &t);
 
-        assert(found);
-        assert(t.p);
-        assert(!t.w);
+        ASSERT(found);
+        ASSERT(t.p);
+        ASSERT(!t.w);
 
         as_page_fault(va, PF_ACCESS_WRITE, istate);
@@ -785 +784 @@
         va = istate->cr_ifa;  /* faulting address */
         
-        assert(!is_kernel_fault(va));
+        ASSERT(!is_kernel_fault(va));
 
         bool found = page_mapping_find(AS, va, true, &t);
 
-        assert(found);
+        ASSERT(found);
         
         if (t.p) {