Symbol: IXP425_INT_GPIO_9