/* Call into both interrupt handlers, as we share the IPI for them  */
void __irq_entry smp_call_function_interrupt(void)
/* Call into both interrupt handlers, as we share the IPI for them  */
void __irq_entry smp_call_function_interrupt(void)
{
	irq_enter();
	generic_smp_call_function_single_interrupt();
	generic_smp_call_function_interrupt();
	irq_exit();
}