mv_gpio_exec_intr_handlers
static void mv_gpio_exec_intr_handlers(device_t, uint32_t, int);
mv_gpio_exec_intr_handlers(dev, int_cause | gpio_val, 0);