HPET_ISR
if (offset == HPET_ISR || offset == HPET_ISR + 4) {
if (offset == HPET_ISR || offset == HPET_ISR + 4) {
bus_write_4(sc->mem_res, HPET_ISR, 1 << t->num);
val = bus_read_4(sc->mem_res, HPET_ISR);
bus_write_4(sc->mem_res, HPET_ISR, val);
bus_write_4(sc->mem_res, HPET_ISR, 0xffffffff);
bus_write_4(sc->mem_res, HPET_ISR, 1 << t->num);