| 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 | |
| Benjamin Herrenschmidt | f352c72 | 2011-08-08 12:30:54 +0000 | [diff] [blame^] | 6 | /* Devtree compatible strings for major devices */ |
| 7 | #define PCIE_COMPATIBLE "ibm,wsp-pciex" |
| 8 | |
| David Gibson | a1d0d98 | 2011-04-14 22:32:06 +0000 | [diff] [blame] | 9 | extern void wsp_setup_pci(void); |
| 10 | extern void scom_init_wsp(void); |
| 11 | |
| 12 | extern void a2_setup_smp(void); |
| 13 | extern int a2_scom_startup_cpu(unsigned int lcpu, int thr_idx, |
| 14 | struct device_node *np); |
| 15 | int smp_a2_cpu_bootable(unsigned int nr); |
| 16 | int __devinit smp_a2_kick_cpu(int nr); |
| 17 | |
| 18 | void opb_pic_init(void); |
| 19 | |
| 20 | #endif /* __WSP_H */ |