HPET_CONFIG
if (offset == HPET_CONFIG || offset == HPET_CONFIG + 4) {
if (offset == HPET_CONFIG || offset == HPET_CONFIG + 4) {
val = bus_read_4(sc->mem_res, HPET_CONFIG);
bus_write_4(sc->mem_res, HPET_CONFIG, val);
val = bus_read_4(sc->mem_res, HPET_CONFIG);
bus_write_4(sc->mem_res, HPET_CONFIG, val);