tod_after
if (tod_after(idle->clock_idle_exit.tod, idle->clock_idle_enter.tod))
while (!tod_after(get_tod_clock_monotonic(), end))