Changes in kernel/genarch/src/drivers/pl050/pl050.c [24abb85d:9d58539] in mainline

File:

• kernel/genarch/src/drivers/pl050/pl050.c (modified) (2 diffs)

kernel/genarch/src/drivers/pl050/pl050.c

@@ -41 +41 @@
 #include <console/chardev.h>
 #include <mm/slab.h>
+#include <ddi/device.h>
 
 #define PL050_KEY_RELEASE 0xF0
@@ -86 +87 @@
 
                 irq_initialize(&instance->irq);
+                instance->irq.devno = device_assign_devno();
                 instance->irq.inr = inr;
                 instance->irq.claim = pl050_claim;