extern int __cpu_disable(void);
extern void __cpu_die(unsigned int cpu);
-extern unsigned disabled_cpus;
extern void prefill_possible_map(void);
#define SMP_TRAMPOLINE_BASE 0x6000
}
#endif /* CONFIG_SMP */
+extern unsigned disabled_cpus __cpuinitdata;
+
#ifdef CONFIG_X86_32_SMP
/*
* This function is needed by all SMP systems. It must _always_ be valid