From 83db6693c426f57bcc6cdc3c05280f4da67b44f3 Mon Sep 17 00:00:00 2001
From: Dave Jones <davej@redhat.com>
Date: Jan 23 2013 16:19:15 +0000
Subject: add patch


---

diff --git a/silence-empty-ipi-mask-warning.patch b/silence-empty-ipi-mask-warning.patch
new file mode 100644
index 0000000..65a637c
--- /dev/null
+++ b/silence-empty-ipi-mask-warning.patch
@@ -0,0 +1,11 @@
+--- linux-3.6.noarch/arch/x86/kernel/apic/ipi.c~	2013-01-23 10:48:14.716069615 -0500
++++ linux-3.6.noarch/arch/x86/kernel/apic/ipi.c	2013-01-23 10:48:26.217046545 -0500
+@@ -106,7 +106,7 @@ void default_send_IPI_mask_logical(const
+ 	unsigned long mask = cpumask_bits(cpumask)[0];
+ 	unsigned long flags;
+ 
+-	if (WARN_ONCE(!mask, "empty IPI mask"))
++	if (!mask)
+ 		return;
+ 
+ 	local_irq_save(flags);