Symbol: IXP425_IO_VBASE