/* Public Domain */

#ifndef _SYS_DEV_FDT_PSCIVAR_H_
#define _SYS_DEV_FDT_PSCIVAR_H_

uint32_t psci_version(void);

#endif /* _SYS_DEV_FDT_PSCIVAR_H_ */