Symbol: IXP425_IO_SIZE