psci_version
uint32_t psci_version(void);
if (!psci_available() || psci_version() < PSCI_VERSION_1_0) {
const uint32_t ver = psci_version();