/* This is the Guest timer interrupt handler (hardware interrupt 0). We just call the clockevent infrastructure and it does whatever needs doing.  */
static void lguest_time_irq(unsigned int irq, struct irq_desc *desc)
/* This is the Guest timer interrupt handler (hardware interrupt 0). We just call the clockevent infrastructure and it does whatever needs doing.  */
static void lguest_time_irq(unsigned int irq, struct irq_desc *desc)
{
	unsigned long flags;
	local_irq_save(flags);
	lguest_clockevent.event_handler(&lguest_clockevent);
	local_irq_restore(flags);
}