/* the gpio_init_mux function is not defined as it is not needed for this CPU  */
void gpio_irq_enable(gpio_t pin)
/* the gpio_init_mux function is not defined as it is not needed for this CPU  */
void gpio_irq_enable(gpio_t pin)
{
    NRF_GPIOTE->INTENSET |= GPIOTE_INTENSET_IN0_Msk;
}