===================================================================
RCS file: /cvs/funnyos/arch/testarm/dev/tairqc.c,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -r1.4 -r1.5
--- funnyos/arch/testarm/dev/tairqc.c	2007/11/02 12:36:13	1.4
+++ funnyos/arch/testarm/dev/tairqc.c	2007/11/02 13:27:42	1.5
@@ -1,5 +1,5 @@
 /*
- * $Id: tairqc.c,v 1.4 2007/11/02 12:36:13 init Exp $
+ * $Id: tairqc.c,v 1.5 2007/11/02 13:27:42 init Exp $
  */
 #include <sys/types.h>
 #include <sys/device.h>
@@ -10,6 +10,14 @@
 #include <arch/testarm/dev/tairqcreg.h>
 #include <libkern/printf.h>
 
+#define TAIRQC_DEBUG
+
+#ifdef TAIRQC_DEBUG
+#define DPRINTF(x...) 	do { printf(x); } while (0)
+#else
+#define DPRINTF(x...) 	{ }
+#endif
+ 
 /*
  * testarm Interrupt Controller Unit support.
  */
@@ -59,6 +67,7 @@
 tairqc_mask_intr(uint8_t intrno)
 {
 	bus_write_1(irqcdd->td_bushandlep, irqcdd->td_ioaddr + TAIRQC_OFF_IRQMASK, intrno);
+	DPRINTF("tairqc_mask_intr: masked interrupt no. %d (status=0x%x)\n", intrno, tairqc_intrstatus());
 }
 
 
@@ -66,6 +75,7 @@
 tairqc_unmask_intr(uint8_t intrno)
 {
 	bus_write_1(irqcdd->td_bushandlep, irqcdd->td_ioaddr + TAIRQC_OFF_IRQUNMASK, intrno);
+	DPRINTF("tairqc_unmask_intr: unmasked interrupt no. %d (status=0x%x)\n", intrno, tairqc_intrstatus());
 }
 
 
@@ -87,6 +97,6 @@
 	/* read intr status; one bit per intr source */
 	irqstatus = tairqc_intrstatus();
 
-	printf("irqc: irq status 0x%x\n", irqstatus);
+	DPRINTF("tairqc_itq: got interrupt (status=0x%x)\n", irqstatus);
 }