Symbol: IXP425_GPIO_GPISR