GTIMER_CNT_HIGH
high0 = bus_space_read_4(iot, ioh, GTIMER_CNT_HIGH);
high1 = bus_space_read_4(iot, ioh, GTIMER_CNT_HIGH);
bus_space_write_4(sc->sc_iot, ioh, GTIMER_CNT_HIGH, 0);