#include <asm/jailhouse_para.h>
#include <asm/apic_flat_64.h>
#include <asm/apic.h>
-#include <asm/ipi.h>
+
+#include "ipi.h"
static struct apic apic_physflat;
static struct apic apic_flat;
#include <asm/apic_flat_64.h>
#include <asm/pgtable.h>
-#include <asm/ipi.h>
+
+#include "ipi.h"
u8 numachip_system __read_mostly;
static const struct apic apic_numachip1;
*
* Drives the local APIC in "clustered mode".
*/
-#include <linux/threads.h>
#include <linux/cpumask.h>
-#include <linux/kernel.h>
-#include <linux/init.h>
#include <linux/dmi.h>
#include <linux/smp.h>
-#include <asm/apicdef.h>
-#include <asm/fixmap.h>
-#include <asm/mpspec.h>
#include <asm/apic.h>
-#include <asm/ipi.h>
+
+#include "ipi.h"
static unsigned bigsmp_get_apic_id(unsigned long x)
{
#include <linux/cpumask.h>
#include <asm/apic.h>
-#include <asm/ipi.h>
+
+#include "ipi.h"
void __default_send_IPI_shortcut(unsigned int shortcut, int vector, unsigned int dest)
{
#include <asm/apic.h>
#include <asm/acpi.h>
-#include <asm/ipi.h>
+
+#include "ipi.h"
#ifdef CONFIG_HOTPLUG_CPU
#define DEFAULT_SEND_IPI (1)
* James Cleverdon.
*/
#include <asm/apic.h>
-#include <asm/ipi.h>
+
+#include "ipi.h"
/*
* Check the APIC IDs in bios_cpu_apicid and choose the APIC mode.
#include <linux/cpumask.h>
#include <linux/acpi.h>
-#include <asm/ipi.h>
-
#include "x2apic.h"
+#include "ipi.h"
int x2apic_phys;