Symbol: gpio_enable_int