128 /* * encoding of bus_pin is mp_bus dependant. * for pci, bus_pin = (pci_device_number << 2) | pin * where pin is 0=INTA ... 3=INTD. */