Changes in kernel/generic/src/ipc/irq.c [86554e7:c822026] 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) {
@@ -204 +202 @@
         
         interrupts_restore(ipl);
-        
-        printf("kernel ipc_irq_register() ... registering irq = %d was successful \n", inr);
-
         return EOK;
 }