/* Used on SMP for either the local timer or SMP_MSG_TIMER  */
void local_timer_interrupt(void)
/* Used on SMP for either the local timer or SMP_MSG_TIMER  */
void local_timer_interrupt(void)
{
	struct clock_event_device *clk = &__get_cpu_var(local_clockevent);
	irq_enter();
	clk->event_handler(clk);
	irq_exit();
}