64  * The timer bases:
66  * There are more clockids than hrtimer bases. Thus, we index
67  * into the timer bases by the hrtimer_base_type enum. When trying
561 	 * the clock bases so the result might be negative. Fix it up  in __hrtimer_next_event_base()
576  * When a softirq is pending, we can ignore the HRTIMER_ACTIVE_SOFT bases,
578  * hrtimer_run_softirq(), hrtimer_update_softirq_timer() will re-add these bases.
580  * Therefore softirq values are those from the HRTIMER_ACTIVE_SOFT clock bases.
621 	 * soft bases. They will be handled in the already raised soft  in hrtimer_update_next_event()
873 	 * clock bases and reprogram the clock event device.  in hrtimer_reprogram()
896 	 * bases. Either it will see the update before handling a base or  in update_needs_ipi()
912 	 * will reevaluate the first expiring timer of all clock bases  in update_needs_ipi()
919 	 * Walk the affected clock bases and check whether the first expiring  in update_needs_ipi()
934 		/* Extra check for softirq clock bases */  in update_needs_ipi()
959 void clock_was_set(unsigned int bases)  in clock_was_set()  argument
981 		if (update_needs_ipi(cpu_base, bases))  in clock_was_set()
1929 	/* Reevaluate the clock bases for the [soft] next expiry */  in hrtimer_interrupt()