6 extern void wsp_setup_pci(void);
7 extern void scom_init_wsp(void);
9 extern void a2_setup_smp(void);
10 extern int a2_scom_startup_cpu(unsigned int lcpu, int thr_idx,
11 struct device_node *np);
12 int smp_a2_cpu_bootable(unsigned int nr);
13 int __devinit smp_a2_kick_cpu(int nr);
15 void opb_pic_init(void);