Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision 3375bd4db69b0aa8eb7d3766620c112904c2dab3)
+++ kernel/generic/src/ipc/irq.c	(revision 293de44a704e7bc7d4f6002dc296c4b59564d777)
@@ -370,5 +370,4 @@
 	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,5 +380,4 @@
 	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,5 +455,4 @@
 			uint32_t val;
 			CMD_MEM_READ(val);
-			printf("mem READ value: %x.\n", val);
 			break;
 			}