INT_READ
dir = INT_READ(sc, GPIODATADIR(pin));
gpio = INT_READ(sc, GPIODATAIN(gpin->pin_num));
idcode = INT_READ(sc, IDCODE_7_0);
idcode |= (uint32_t)INT_READ(sc, IDCODE_15_8) << 8;
idcode |= (uint32_t)INT_READ(sc, IDCODE_23_16) << 16;
idcode |= (uint32_t)INT_READ(sc, IDCODE_31_24) << 24;