Symbol: IXP425_GPIO_VBASE