Changes in kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c [f22f679:24abb85d] in mainline

File:

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

kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c ¶

@@ -36 +36 @@
 #include <arch/exception.h>
 #include <arch/mach/raspberrypi/raspberrypi.h>
+#include <assert.h>
 #include <genarch/drivers/pl011/pl011.h>
 #include <genarch/drivers/bcm2835/irc.h>
@@ -49 +50 @@
 #include <interrupt.h>
 #include <ddi/ddi.h>
-#include <ddi/device.h>
 
 #define RPI_DEFAULT_MEMORY_START        0
@@ -103 +103 @@
         raspi.irc = (void *) km_map(BCM2835_IRC_ADDR, sizeof(bcm2835_irc_t),
                                     PAGE_NOT_CACHEABLE);
-        ASSERT(raspi.irc);
+        assert(raspi.irc);
         bcm2835_irc_init(raspi.irc);
 
@@ -117 +117 @@
         static irq_t timer_irq;
         irq_initialize(&timer_irq);
-        timer_irq.devno = device_assign_devno();
         timer_irq.inr = BCM2835_TIMER1_IRQ;
         timer_irq.claim = raspberrypi_timer_irq_claim;