Changes in kernel/genarch/src/drivers/pl050/pl050.c [9d58539:24abb85d] 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
@@ -87 +86 @@
 
                 irq_initialize(&instance->irq);
-                instance->irq.devno = device_assign_devno();
                 instance->irq.inr = inr;
                 instance->irq.claim = pl050_claim;