GPIO_IRQENABLE1
val = RD4(sc, GPIO_IRQENABLE1);
WR4(sc, GPIO_IRQENABLE1, val & ~pin_mask);
val = RD4(sc, GPIO_IRQENABLE1);
WR4(sc, GPIO_IRQENABLE1, val | pin_mask);
val = RD4(sc, GPIO_IRQENABLE1);
WR4(sc, GPIO_IRQENABLE1, val | pin_mask);
[GPIO_IRQENABLE1] = 0x1c,