Changes in kernel/arch/ia32/src/drivers/i8254.c [24abb85d:1558d85] in mainline

File:

• kernel/arch/ia32/src/drivers/i8254.c (modified) (3 diffs)

kernel/arch/ia32/src/drivers/i8254.c

@@ -37 +37 @@
  */
 
-#include <stdint.h>
+#include <typedefs.h>
 #include <time/clock.h>
 #include <time/delay.h>
@@ -51 +51 @@
 #include <arch.h>
 #include <ddi/irq.h>
+#include <ddi/device.h>
 
 #define CLK_PORT1  ((ioport8_t *) 0x40U)
@@ -85 +86 @@
         irq_initialize(&i8254_irq);
         i8254_irq.preack = true;
+        i8254_irq.devno = device_assign_devno();
         i8254_irq.inr = IRQ_CLK;
         i8254_irq.claim = i8254_claim;