Symbol: IXP425_PCI_HWBASE