HPET_CONFIGURATION
reg = HPET_REGVAL32(HPET_CONFIGURATION);
HPET_REGVAL32(HPET_CONFIGURATION) = reg | 1u;
HPET_CONFIGURATION, sc->sc_conf);
sc->sc_ioh, HPET_CONFIGURATION);
HPET_CONFIGURATION, sc->sc_conf);
HPET_CONFIGURATION, sc->sc_save.configuration);
HPET_CONFIGURATION, sc->sc_conf | 1);
HPET_CONFIGURATION) != 0xffffffff)
HPET_CONFIGURATION) & ~1;
bus_space_write_4(sc->sc_iot, sc->sc_ioh, HPET_CONFIGURATION,
HPET_CONFIGURATION, sc->sc_conf);
HPET_CONFIGURATION, sc->sc_conf);