Symbol: IXP425_IO_HWBASE