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

File:

• kernel/generic/src/ipc/irq.c (modified) (3 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;
 }
@@ -418 +423 @@
                 case CMD_ACCEPT:
                         return IRQ_ACCEPT;
+                        break;
                 case CMD_DECLINE:
                 default: