92e81ca475
using the new pci_map_int_right() variant of pci_map_int(). Fast interrupts work for PCI devices if and only if they are exclusive. (The PCI interrupt mux doesn't support fast interrupts and can't support a mixture of fast and slow interrupts even in principle.) Don't assume that intrmask_t == unsigned in pci_map_int(). |
||
---|---|---|
.. | ||
ohci_pci.c | ||
pci.c | ||
pcireg.h | ||
pcivar.h | ||
uhci_pci.c |