1 #ifndef _ASMARM_PSCI_H_ 2 #define _ASMARM_PSCI_H_ 3 #include <libcflat.h> 4 #include <linux/psci.h> 5 6 extern int psci_invoke(unsigned long function_id, unsigned long arg0, 7 unsigned long arg1, unsigned long arg2); 8 extern int psci_cpu_on(unsigned long cpuid, unsigned long entry_point); 9 extern void psci_system_reset(void); 10 extern int cpu_psci_cpu_boot(unsigned int cpu); 11 extern void cpu_psci_cpu_die(void); 12 extern void psci_system_off(void); 13 14 #endif /* _ASMARM_PSCI_H_ */ 15