HPET_CAPABILITIES
if (offset == HPET_CAPABILITIES || offset == HPET_CAPABILITIES + 4) {
sc->caps = bus_read_4(sc->mem_res, HPET_CAPABILITIES);