intr_write_masked
intr_write_masked(sc, GPIO_MSK_INT_ENB, tgi, val);
intr_write_masked(sc, GPIO_INT_CLR, tgi, 1);