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