1f0705d4cSAndrew Jones #ifndef _ASMARM_PSCI_H_ 2f0705d4cSAndrew Jones #define _ASMARM_PSCI_H_ 3f0705d4cSAndrew Jones #include <libcflat.h> 4f3bd1e05SAndrew Jones #include <linux/psci.h> 5f0705d4cSAndrew Jones 6*c535b2f8SAndrew Jones extern int psci_invoke(unsigned long function_id, unsigned long arg0, 7*c535b2f8SAndrew Jones unsigned long arg1, unsigned long arg2); 8f0705d4cSAndrew Jones extern int psci_cpu_on(unsigned long cpuid, unsigned long entry_point); 9f0705d4cSAndrew Jones extern void psci_sys_reset(void); 1068ea0e0bSAndrew Jones extern int cpu_psci_cpu_boot(unsigned int cpu); 1168ea0e0bSAndrew Jones extern void cpu_psci_cpu_die(unsigned int cpu); 12f0705d4cSAndrew Jones 13f0705d4cSAndrew Jones #endif /* _ASMARM_PSCI_H_ */ 14