Changes in kernel/generic/src/ipc/irq.c [45e0e07:180255f] 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) \
@@ -380 +381 @@
         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)
@@ -455 +457 @@
                         uint32_t val;
                         CMD_MEM_READ(val);
+                        printf("mem READ value: %x.\n", val);
                         break;
                         }