Changes in kernel/arch/ia64/src/drivers/it.c [9d58539:24abb85d] 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>
 
@@ -66 +65 @@
                 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;