/* Called from irq_enter to notify about the possible interruption of idle()  */
void tick_check_idle(int cpu)
/* Called from irq_enter to notify about the possible interruption of idle()  */
void tick_check_idle(int cpu)
{
	tick_check_oneshot_broadcast(cpu);
	tick_check_nohz(cpu);
}