/* Show/Init PCI devices on the specified bus number.  */
void pci_mousse_fixup_irq(struct pci_controller *hose, pci_dev_t dev)
/* Show/Init PCI devices on the specified bus number.  */
void pci_mousse_fixup_irq(struct pci_controller *hose, pci_dev_t dev)
{
	unsigned int line;
	switch(PCI_DEV(dev)) {
	case 0x0d:
		line = 0x00000101;
		break;
	case 0x0e:
	default:
		line = 0x00000303;
		break;
	}
	pci_write_config_dword(dev, PCI_INTERRUPT_LINE, line);
}