pirq_read
uint8_t pirq_read(int pin);
pci_set_cfgdata8(pi, coff, pirq_read(pirq_pin));
pci_set_cfgdata8(lpc_bridge, 0x60 + pin, pirq_read(pin + 1));
pci_set_cfgdata8(lpc_bridge, 0x68 + pin, pirq_read(pin + 5));