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