LEDINT_REG_W
vrled_write(sc, LEDINT_REG_W, LEDINT_ALL);
intstat = vrled_read(sc, LEDINT_REG_W);
vrled_write(sc, LEDINT_REG_W, intstat);