Changes in kernel/genarch/src/ofw/ebus.c [63e27ef:9d58539] 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>
@@ -42 +41 @@
 #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;