Dave Jones 83db66
--- linux-3.6.noarch/arch/x86/kernel/apic/ipi.c~	2013-01-23 10:48:14.716069615 -0500
Dave Jones 83db66
+++ linux-3.6.noarch/arch/x86/kernel/apic/ipi.c	2013-01-23 10:48:26.217046545 -0500
Dave Jones 83db66
@@ -106,7 +106,7 @@ void default_send_IPI_mask_logical(const
Dave Jones 83db66
 	unsigned long mask = cpumask_bits(cpumask)[0];
Dave Jones 83db66
 	unsigned long flags;
Dave Jones 83db66
 
Dave Jones 83db66
-	if (WARN_ONCE(!mask, "empty IPI mask"))
Dave Jones 83db66
+	if (!mask)
Dave Jones 83db66
 		return;
Dave Jones 83db66
 
Dave Jones 83db66
 	local_irq_save(flags);