/* Reschedule call back. Nothing to do, all the work is done automatically when we return from the interrupt.  */
static irqreturn_t xen_reschedule_interrupt(int irq, void *dev_id)
/* Reschedule call back. Nothing to do, all the work is done automatically when we return from the interrupt.  */
static irqreturn_t xen_reschedule_interrupt(int irq, void *dev_id)
{
	inc_irq_stat(irq_resched_count);
	return IRQ_HANDLED;
}