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

File:

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

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

@@ -35 +35 @@
 #include <arch/exception.h>
 #include <arch/mach/beagleboardxm/beagleboardxm.h>
+#include <assert.h>
 #include <genarch/drivers/amdm37x/uart.h>
 #include <genarch/drivers/amdm37x/irc.h>
@@ -43 +44 @@
 #include <mm/km.h>
 #include <ddi/ddi.h>
-#include <ddi/device.h>
 
 static void bbxm_init(void);
@@ -102 +102 @@
             (void *) km_map(AMDM37x_IRC_BASE_ADDRESS, AMDM37x_IRC_SIZE,
             PAGE_NOT_CACHEABLE);
-        ASSERT(beagleboard.irc_addr);
+        assert(beagleboard.irc_addr);
         omap_irc_init(beagleboard.irc_addr);
 
@@ -116 +116 @@
         static irq_t timer_irq;
         irq_initialize(&timer_irq);
-        timer_irq.devno = device_assign_devno();
         timer_irq.inr = AMDM37x_GPT1_IRQ;
         timer_irq.claim = bb_timer_irq_claim;