Symbol: HSDK_GPIO_INTC