Symbol: IXP425_INT_GPIO_12