two PCI cards with same IRQ

Gianni Arru (arru@comi.inet.it)
Sat, 21 Sep 1996 22:37:34 +0200 (MET DST)

Hi all,
making cat /proc/pci I discovered that the svga and the fdomain
controller share the same irq number:

Bus 0, device 15, function 0:
SCSI storage controller: Future Domain TMC-18C30 (rev 0).
Medium devsel. Fast back-to-back capable. IRQ 9.
I/O at 0xf800.
Bus 0, device 14, function 0:
VGA compatible controller: Trident TG 9440 (rev 227).
Medium devsel. Fast back-to-back capable. IRQ 9.
Non-prefetchable 32 bit memory at 0xff800000.
Non-prefetchable 32 bit memory at 0xffbe0000.

The vga IRQ is never used, I hope. This is strange for
me, there aren't jumpers on the cards to change it, by the manuals
seems not and I have no software utilities to change it, also the
bios setup is not useful. Are there any plug & play capabilities
in linux to set-up this things ?