PCI_CB_IOBASE1
io = pci_conf_read(pc, tag, PCI_CB_IOBASE1);
PCI_CB_IOBASE1, io, limit);
pci_conf_write(pc, tag, PCI_CB_IOBASE1, 0xffffffff);