#ifndef _ASMARM_PSCI_H_
#define _ASMARM_PSCI_H_
#include <libcflat.h>
#include <asm/uapi-psci.h>

#define PSCI_INVOKE_ARG_TYPE	u32
#define PSCI_FN_CPU_ON		PSCI_0_2_FN_CPU_ON

extern int psci_invoke(u32 function_id, u32 arg0, u32 arg1, u32 arg2);
extern int psci_cpu_on(unsigned long cpuid, unsigned long entry_point);
extern void psci_sys_reset(void);

#endif /* _ASMARM_PSCI_H_ */