-#else
-#error Unsupported architecture
-#endif
-}
-
-static uint32_t
-deadline_to_decrementer(
- uint64_t deadline,
- uint64_t now)
-{
- uint64_t delta;
-
- if (deadline <= now)
- return (uint32_t)rtc_decrementer_min;
- else {
- delta = deadline - now;
- return (uint32_t)MIN(MAX(rtc_decrementer_min,delta),maxDec);
- }
-}
-
-void
-rtc_lapic_start_ticking(void)
-{
- x86_lcpu_t *lcpu = x86_lcpu();
-
- /*
- * Force a complete re-evaluation of timer deadlines.
- */
- lcpu->rtcPop = EndOfAllTime;
- etimer_resync_deadlines();