K 10 svn:author V 2 se K 8 svn:date V 27 1997-01-23T22:58:03.000000Z K 7 svn:log V 114 Make IRQ 0 invalid in pci_map_int(), since it is hardwired to the programmable interval timer chip in PC systems. END