Changes in kernel/arch/ia64/src/drivers/it.c [24abb85d:9d58539] in mainline

File:

• kernel/arch/ia64/src/drivers/it.c (modified) (2 diffs)

kernel/arch/ia64/src/drivers/it.c

@@ -42 +42 @@
 #include <time/clock.h>
 #include <ddi/irq.h>
+#include <ddi/device.h>
 #include <arch.h>
 
@@ -65 +66 @@
                 irq_initialize(&it_irq);
                 it_irq.inr = INTERRUPT_TIMER;
+                it_irq.devno = device_assign_devno();
                 it_irq.claim = it_claim;
                 it_irq.handler = it_interrupt;