/* * The immediate goal is minimizing wakeups, not running * timers at the earliest interrupt after their soft expiration. * This allows us to avoid using a Priority Search Tree, * which can answer a stabbing querry for overlapping * intervals and instead use the simple BST we already have. * We don't add extra wakeups by delaying timers that are * right-of a not yet expired timer, because that timer will * have to trigger a wakeup anyway. */