From 83db6693c426f57bcc6cdc3c05280f4da67b44f3 Mon Sep 17 00:00:00 2001
From: Dave Jones <davej@redhat.com>
Date: Wed, 23 Jan 2013 11:19:15 -0500
Subject: [PATCH] add patch

---
 silence-empty-ipi-mask-warning.patch | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 silence-empty-ipi-mask-warning.patch

diff --git a/silence-empty-ipi-mask-warning.patch b/silence-empty-ipi-mask-warning.patch
new file mode 100644
index 000000000..65a637c06
--- /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);