Changes in kernel/arch/sparc64/src/mm/sun4u/tsb.c [e08162b:63e27ef] in mainline

File:

• kernel/arch/sparc64/src/mm/sun4u/tsb.c (modified) (5 diffs)

kernel/arch/sparc64/src/mm/sun4u/tsb.c

@@ -27 +27 @@
  */
 
-/** @addtogroup sparc64mm       
+/** @addtogroup sparc64mm
  * @{
  */
@@ -37 +37 @@
 #include <arch/mm/page.h>
 #include <arch/barrier.h>
+#include <assert.h>
 #include <mm/as.h>
 #include <typedefs.h>
 #include <macros.h>
-#include <debug.h>
 
 /** Invalidate portion of TSB.
@@ -58 +58 @@
         size_t cnt;
         
-        ASSERT(as->arch.itsb);
-        ASSERT(as->arch.dtsb);
+        assert(as->arch.itsb);
+        assert(as->arch.dtsb);
         
         i0 = (page >> MMU_PAGE_WIDTH) & ITSB_ENTRY_MASK;
@@ -85 +85 @@
         size_t entry;
 
-        ASSERT(index <= 1);
+        assert(index <= 1);
         
         as = t->as;
@@ -130 +130 @@
         size_t entry;
         
-        ASSERT(index <= 1);
+        assert(index <= 1);
 
         as = t->as;