LAPIC_TARGET_TICKS
uint32_t target = start - LAPIC_TARGET_TICKS;
write_vlapic(LAPIC_OFF_TIMER_ICR, LAPIC_TARGET_TICKS);
if (tick_delta < LAPIC_TARGET_TICKS) {
tick_delta, LAPIC_TARGET_TICKS);
} else if ((tick_delta - LAPIC_TARGET_TICKS) > tick_margin) {
LAPIC_TARGET_TICKS + tick_margin);
const uint_t margin_ticks = MAX(1, LAPIC_TARGET_TICKS / 5000);
const uint_t margin_ticks = MAX(1, LAPIC_TARGET_TICKS / 5000);
loops * LAPIC_TARGET_TICKS + before.value - after.value;
const uint32_t tick_target = loops * LAPIC_TARGET_TICKS;