#ifndef _ASMARM_PSCI_H_
#define _ASMARM_PSCI_H_
#include <libcflat.h>
#include <linux/psci.h>

typedef int (*psci_invoke_fn)(unsigned int function_id, unsigned long arg0,
			      unsigned long arg1, unsigned long arg2);
extern psci_invoke_fn psci_invoke;
extern int psci_invoke_hvc(unsigned int function_id, unsigned long arg0,
			   unsigned long arg1, unsigned long arg2);
extern int psci_invoke_smc(unsigned int function_id, unsigned long arg0,
			   unsigned long arg1, unsigned long arg2);
extern void psci_set_conduit(void);
extern int psci_cpu_on(unsigned long cpuid, unsigned long entry_point);
extern void psci_system_reset(void);
extern int cpu_psci_cpu_boot(unsigned int cpu);
extern void cpu_psci_cpu_die(void);
extern void psci_system_off(void);

#endif /* _ASMARM_PSCI_H_ */