PCI_XIOBASE
static uint32_t pciiobase = PCI_XIOBASE;
l->csr = DEVTOV(PCI_XIOBASE + (pcicfgread(tag, 0x10) & ~01));