Symbol: IXP425_MAX_DEV