Changes in kernel/generic/src/ipc/irq.c [c822026:86554e7] in mainline

File:

• kernel/generic/src/ipc/irq.c (modified) (2 diffs)

kernel/generic/src/ipc/irq.c

@@ -149 +149 @@
                 (unative_t) devno
         };
+        
+        printf("kernel ipc_irq_register() ... registering irq = %d\n", inr);
         
         if (ucode) {
@@ -202 +204 @@
         
         interrupts_restore(ipl);
+        
+        printf("kernel ipc_irq_register() ... registering irq = %d was successful \n", inr);
+
         return EOK;
 }