Changes in kernel/generic/src/ipc/irq.c [180255f:45e0e07] in mainline

File:

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

kernel/generic/src/ipc/irq.c

@@ -370 +370 @@
         if (AS != irq->driver_as) \
                 as_switch(AS, irq->driver_as); \
-        printf("Copying data from address: %p.\n", va); \
         memcpy_from_uspace(&target, va, (sizeof(target))); \
         if (dstarg) \
@@ -381 +380 @@
         if (AS != irq->driver_as) \
                 as_switch(AS, irq->driver_as); \
-        printf("Writing data to address: %p.\n", va); \
         memcpy_to_uspace(va, &val, sizeof(val)); \
 } while (0)
@@ -457 +455 @@
                         uint32_t val;
                         CMD_MEM_READ(val);
-                        printf("mem READ value: %x.\n", val);
                         break;
                         }