From 50b36c571b257db24d6c12e62bb6b6e1d51b5184 Mon Sep 17 00:00:00 2001
From: Jaswinder Singh <jaswinder@infradead.org>
Date: Fri, 25 Jul 2008 11:05:56 +0530
Subject: [PATCH] --- yaml --- r: 110309 b: refs/heads/master c:
 2907829cd0ffdef69083985ba28cf1cf3857c681 h: refs/heads/master i:   110307:
 d2aed59f430b9028b59d17b48b186550e034e356 v: v3

---
 [refs]                      | 2 +-
 trunk/arch/x86/kernel/ipi.c | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/[refs] b/[refs]
index e0c83a349137..f28c50e53e7a 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: f86c99853b22576ee8dc4fa27ff6f3c0c7ce0ef8
+refs/heads/master: 2907829cd0ffdef69083985ba28cf1cf3857c681
diff --git a/trunk/arch/x86/kernel/ipi.c b/trunk/arch/x86/kernel/ipi.c
index 3f7537b669d3..f1c688e46f35 100644
--- a/trunk/arch/x86/kernel/ipi.c
+++ b/trunk/arch/x86/kernel/ipi.c
@@ -20,6 +20,8 @@
 
 #ifdef CONFIG_X86_32
 #include <mach_apic.h>
+#include <mach_ipi.h>
+
 /*
  * the following functions deal with sending IPIs between CPUs.
  *
@@ -147,7 +149,6 @@ void send_IPI_mask_sequence(cpumask_t mask, int vector)
 }
 
 /* must come after the send_IPI functions above for inlining */
-#include <mach_ipi.h>
 static int convert_apicid_to_cpu(int apic_id)
 {
 	int i;