1 #ifndef _ASMARM64_PSCI_H_ 2 #define _ASMARM64_PSCI_H_ 3 #include <libcflat.h> 4 #include <linux/psci.h> 5 6 #define PSCI_INVOKE_ARG_TYPE u64 7 #define PSCI_FN_CPU_ON PSCI_0_2_FN64_CPU_ON 8 9 extern int psci_invoke(u64 function_id, u64 arg0, u64 arg1, u64 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 /* _ASMARM64_PSCI_H_ */ 16