/* High resolution timer specific code Async notification about clocksource changes  */
void tick_clock_notify(void)
/* High resolution timer specific code Async notification about clocksource changes  */
void tick_clock_notify(void)
{
	int cpu;
	for_each_possible_cpu(cpu)
		set_bit(0, &per_cpu(tick_cpu_sched, cpu).check_clocks);
}