Symbol: SPITZ_GPIO_TP_INT