/* Unified IRQ handler shared by all interrupt routines.  */
static void irq_handler(gpio_t dev)
/* Unified IRQ handler shared by all interrupt routines.  */
static void irq_handler(gpio_t dev)
{
    config[dev].cb(config[dev].arg);
    if (sched_context_switch_request) {
        thread_yield();
    }
}