HPET_TARGET_TICKS
} while (end < (start + HPET_TARGET_TICKS));
const uint_t margin_ticks = MAX(1, HPET_TARGET_TICKS / 10000);
if (tick_delta < HPET_TARGET_TICKS) {
tick_delta, HPET_TARGET_TICKS);
} else if ((tick_delta - HPET_TARGET_TICKS) > tick_margin) {
HPET_TARGET_TICKS + tick_margin);