/* Called by the local, per-CPU timer interrupt on SMP.  */
void run_local_timers(void)
/* Called by the local, per-CPU timer interrupt on SMP.  */
void run_local_timers(void)
{
	hrtimer_run_queues();
	raise_softirq(TIMER_SOFTIRQ);
	softlockup_tick();
}