#include <asm/paca.h>
extern int boot_cpuid;
-extern int boot_cpuid_phys;
-
-extern void cpu_die(void) __attribute__((noreturn));
#ifdef CONFIG_SMP
#endif
#define PPC_MSG_DEBUGGER_BREAK 3
+extern cpumask_t irq_affinity[];
+
void smp_init_iSeries(void);
void smp_init_pSeries(void);
extern int __cpu_disable(void);
extern void __cpu_die(unsigned int cpu);
-#endif /* CONFIG_SMP */
+extern void cpu_die(void) __attribute__((noreturn));
+extern int query_cpu_stopped(unsigned int pcpu);
+#endif /* !(CONFIG_SMP) */
#define get_hard_smp_processor_id(CPU) (paca[(CPU)].hw_cpu_id)
#define set_hard_smp_processor_id(CPU, VAL) \
extern int smt_enabled_at_boot;
-extern int smp_mpic_probe(void);
-extern void smp_mpic_setup_cpu(int cpu);
-extern void smp_mpic_message_pass(int target, int msg);
-extern void smp_generic_kick_cpu(int nr);
-
-extern void smp_generic_give_timebase(void);
-extern void smp_generic_take_timebase(void);
-
-extern struct smp_ops_t *smp_ops;
-
#endif /* __ASSEMBLY__ */
#endif /* !(_PPC64_SMP_H) */