| David Gibson | a1d0d98 | 2011-04-14 22:32:06 +0000 | [diff] [blame^] | 1 | #ifndef __WSP_H |
| 2 | #define __WSP_H | ||||
| 3 | |||||
| 4 | #include <asm/wsp.h> | ||||
| 5 | |||||
| 6 | extern void wsp_setup_pci(void); | ||||
| 7 | extern void scom_init_wsp(void); | ||||
| 8 | |||||
| 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); | ||||
| 14 | |||||
| 15 | void opb_pic_init(void); | ||||
| 16 | |||||
| 17 | #endif /* __WSP_H */ | ||||