/* * 'pin' argument pci bus_pin encoding of a device/pin combination. */