Changes in kernel/arch/arm32/src/mach/beaglebone/beaglebone.c [3c9646b:24abb85d] in mainline

File:

• kernel/arch/arm32/src/mach/beaglebone/beaglebone.c (modified) (4 diffs)

kernel/arch/arm32/src/mach/beaglebone/beaglebone.c

@@ -36 +36 @@
 #include <arch/exception.h>
 #include <arch/mach/beaglebone/beaglebone.h>
+#include <assert.h>
 #include <genarch/drivers/am335x/irc.h>
 #include <genarch/drivers/am335x/uart.h>
@@ -45 +46 @@
 #include <interrupt.h>
 #include <ddi/ddi.h>
-#include <ddi/device.h>
 #include <mm/km.h>
 
@@ -98 +98 @@
             AM335x_CTRL_MODULE_SIZE, PAGE_NOT_CACHEABLE);
 
-        ASSERT(bbone.irc_addr != NULL);
-        ASSERT(bbone.cm_per_addr != NULL);
-        ASSERT(bbone.cm_dpll_addr != NULL);
-        ASSERT(bbone.ctrl_module != NULL);
+        assert(bbone.irc_addr != NULL);
+        assert(bbone.cm_per_addr != NULL);
+        assert(bbone.cm_dpll_addr != NULL);
+        assert(bbone.ctrl_module != NULL);
 
         /* Initialize the interrupt controller */
@@ -128 +128 @@
         static irq_t timer_irq;
         irq_initialize(&timer_irq);
-        timer_irq.devno = device_assign_devno();
         timer_irq.inr = AM335x_DMTIMER2_IRQ;
         timer_irq.claim = bbone_timer_irq_claim;