PIUCNT_REG_W
vrpiu_write(sc, PIUCNT_REG_W, cnt);
cnt = vrpiu_read(sc, PIUCNT_REG_W);
vrpiu_write(sc, PIUCNT_REG_W, cnt);
vrpiu_write(sc, PIUCNT_REG_W, 0);
vrpiu_write(sc, PIUCNT_REG_W, cnt);
cnt = vrpiu_read(sc, PIUCNT_REG_W);
vrpiu_write(sc, PIUCNT_REG_W, cnt);
vrpiu_write(sc, PIUCNT_REG_W, 0);
cnt = vrpiu_read(sc, PIUCNT_REG_W);
vrpiu_write(sc, PIUCNT_REG_W, cnt);
unsigned int cnt = vrpiu_read(sc, PIUCNT_REG_W);