As we've now removed the spinlock and bitmask, we have nothing left
which requires interrupts to be disabled when sending an IPI.  All
current IPI-sending implementations use the GIC, which also does not
require interrupts disabled when calling gic_raise_softirq().
Remove the now unnecessary IRQ disable.
Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>
 
 static void send_ipi_message(const struct cpumask *mask, enum ipi_msg_type msg)
 {
-       unsigned long flags;
-
-       local_irq_save(flags);
-
        /*
         * Call the platform specific cross-CPU call function.
         */
        smp_cross_call(mask, msg);
-
-       local_irq_restore(flags);
 }
 
 void arch_send_call_function_ipi_mask(const struct cpumask *mask)