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