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 | ||