Changes in kernel/arch/arm32/src/mach/gta02/gta02.c [b2fa1204:24abb85d] 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>
 
@@ -241 +240 @@
 {
         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;