#include <asm/pat.h>
#include <asm/asm.h>
#include <asm/numa.h>
+#include <asm/smp.h>
#ifdef CONFIG_X86_LOCAL_APIC
#include <asm/mpspec.h>
#include <asm/apic.h>
validate_pat_support(c);
+#ifdef CONFIG_SMP
c->cpu_index = boot_cpu_id;
+#endif
}
void __init early_cpu_init(void)