static double next() { return kernel_timers().empty() ? -1.0 : kernel_timers().top().first; }
/** Handle any pending timer. Returns if something was actually run. */
static bool execute_all();
};
static double next() { return kernel_timers().empty() ? -1.0 : kernel_timers().top().first; }
/** Handle any pending timer. Returns if something was actually run. */
static bool execute_all();
};