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

File:

• kernel/genarch/src/ofw/ebus.c (modified) (4 diffs)

kernel/genarch/src/ofw/ebus.c

@@ -36 +36 @@
  */
 
+#include <assert.h>
 #include <genarch/ofw/ofw_tree.h>
 #include <genarch/ofw/ebus.h>
@@ -41 +42 @@
 #include <str.h>
 #include <panic.h>
-#include <debug.h>
 #include <macros.h>
 
@@ -94 +94 @@
         size_t count = prop->size / sizeof(ofw_ebus_intr_map_t);
         
-        ASSERT(count);
+        assert(count);
         
         prop = ofw_tree_getprop(node, "interrupt-map-mask");
@@ -102 +102 @@
         ofw_ebus_intr_mask_t *intr_mask = prop->value;
         
-        ASSERT(prop->size == sizeof(ofw_ebus_intr_mask_t));
+        assert(prop->size == sizeof(ofw_ebus_intr_mask_t));
         
         uint32_t space = reg->space & intr_mask->space_mask;