Index: kma.c
===================================================================
RCS file: /src/microkernel/sys/ds/kma/kma.c,v
retrieving revision 1.54
diff -C8 -u -r1.54 kma.c
--- kma.c	18 Nov 2003 19:31:37 -0000	1.54
+++ kma.c	20 Nov 2003 16:35:35 -0000
@@ -1773,17 +1773,17 @@
  * Returns:
  *	none
  */
 static inline void
 kma_deliver_queued_int(struct trapframe *frame)
 {
         u_int index = vs_deliver_int(curvs, PCPU_GET(cpuid));
         if (index < KMA_VI_MAX_INTERRUPT)
-                kma_propagate_int(index + KMA_VI_IRQ_BASE, frame);
+                kma_propagate_int(index, frame);
         return;
 }
 
 
 /* 
  * KMA internal interface
  *
  */