Symbol: IXP12X0_PCI_VBASE