/* Reschedule call back. Nothing to do, all the work is done automatically when we return from the interrupt.  */
void smp_reschedule_interrupt(struct pt_regs *regs)
/* Reschedule call back. Nothing to do, all the work is done automatically when we return from the interrupt.  */
void smp_reschedule_interrupt(struct pt_regs *regs)
{
	ack_APIC_irq();
	inc_irq_stat(irq_resched_count);
}