HPET_MIN_CYCLES
if ((int32_t)(now - t->next + HPET_MIN_CYCLES) >= 0) {
((uint64_t)(HPET_MIN_CYCLES * 2) << 32) / sc->freq;