Symbol: gpio_ack_int