When trying to debug a recent problem with some interrupt routing, I found the output to be confusing... The TIMER vector is printed with %d, but when the APIC tables are printed, the vector is printed using %02X. This was particularly confusing in this case because the TIMER vector was 49d (0x31) and vector 0x49 was assigned to a different APIC pin. The following patch causes the TIMER vector to be printed the same way as the vectors in the APIC table (See line 786 of my io_apic.c) I'm not a subscriber of the kernel mailing list, so please CC my on any replies. --- arch/i386/kernel/io_apic.c.orig Tue Jun 5 17:30:12 2001 +++ arch/i386/kernel/io_apic.c Tue Jun 5 17:34:38 2001 @@ -1489,7 +1489,7 @@ pin1 = find_isa_irq_pin(0, mp_INT); pin2 = find_isa_irq_pin(0, mp_ExtINT); - printk(KERN_INFO "..TIMER: vector=%d pin1=%d pin2=%d\n", vector, pin1, pin2); + printk(KERN_INFO "..TIMER: vector=%02X pin1=%d pin2=%d\n", vector, pin1, pin2); if (pin1 != -1) { /* -- Philip Pokorny, Senior Engineer http://www.penguincomputing.com Penguin Computing - The World's Most Reliable Linux Systems - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/