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);