Changes in kernel/arch/ia64/src/interrupt.c [416ef49:63e27ef] in mainline

File:

• kernel/arch/ia64/src/interrupt.c (modified) (2 diffs)

kernel/arch/ia64/src/interrupt.c

@@ -35 +35 @@
 
 #include <arch/interrupt.h>
+#include <assert.h>
 #include <interrupt.h>
 #include <ddi/irq.h>
 #include <panic.h>
 #include <print.h>
-#include <debug.h>
 #include <console/console.h>
 #include <typedefs.h>
@@ -123 +123 @@
 static const char *vector_to_string(unsigned int n)
 {
-        ASSERT(n <= VECTOR_MAX);
+        assert(n <= VECTOR_MAX);
         
         if (n >= VECTORS_16_BUNDLE_START)