PCI_MEMBASE
#if NPCI > 0 && defined(PCI_MEMBASE)
PCI_MEMBASE, PCI_MEMBASE + 4*PCI_MEMSIZE,
memstart = PCI_MEMBASE;