Symbol: IXP425_PCI_VBASE