HPET_MAIN_COUNTER
return HPET_REGVAL32(HPET_MAIN_COUNTER);
sc->sc_ioh, HPET_MAIN_COUNTER);
HPET_MAIN_COUNTER, sc->sc_save.main_counter);
v1 = bus_space_read_4(sc->sc_iot, sc->sc_ioh, HPET_MAIN_COUNTER);
v2 = bus_space_read_4(sc->sc_iot, sc->sc_ioh, HPET_MAIN_COUNTER);
val2 = bus_space_read_4(sc->sc_iot, sc->sc_ioh, HPET_MAIN_COUNTER);
HPET_MAIN_COUNTER);
return (bus_space_read_4(sc->sc_iot, sc->sc_ioh, HPET_MAIN_COUNTER));