GPIO_INT_EDGE_MASK
bus_space_write_4(sc->bst, sc->bsh, sc->offset + GPIO_INT_EDGE_MASK, 0);
int_cause &= mv_gpio_reg_read(dev, GPIO_INT_EDGE_MASK);
reg = GPIO_INT_EDGE_MASK;