1 #ifndef _ASMARM_PSCI_H_ 2 #define _ASMARM_PSCI_H_ 3 #include <libcflat.h> 4 #include <asm/uapi-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 13 #endif /* _ASMARM_PSCI_H_ */ 14