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

File:

• kernel/arch/arm32/src/mach/gta02/gta02.c (modified) (2 diffs)

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

@@ -48 +48 @@
 #include <interrupt.h>
 #include <ddi/ddi.h>
+#include <ddi/device.h>
 #include <log.h>
 
@@ -240 +241 @@
 {
         irq_initialize(&gta02_timer_irq);
+        gta02_timer_irq.devno = device_assign_devno();
         gta02_timer_irq.inr = GTA02_TIMER_IRQ;
         gta02_timer_irq.claim = gta02_timer_irq_claim;