> /proc/pci shows IRQ 10 in three places. Could this be > a problem? I don't see any way to change any of these > IRQs.
Your system supports IRQ sharing. It should *not* be a problem... You may be able to turn this off in your BIOS though. Doing so may cause you to run out of available resources though. Hall
