PSCI_VERSION
if (kvm_host_psci_config.version == PSCI_VERSION(0, 1)) {
case PSCI_VERSION(0, 1):
case PSCI_VERSION(0, 2):
val = PSCI_VERSION(1, minor);
return PSCI_VERSION(0, 1);
#define KVM_ARM_PSCI_0_1 PSCI_VERSION(0, 1)
#define KVM_ARM_PSCI_0_2 PSCI_VERSION(0, 2)
#define KVM_ARM_PSCI_1_0 PSCI_VERSION(1, 0)
#define KVM_ARM_PSCI_1_1 PSCI_VERSION(1, 1)
#define KVM_ARM_PSCI_1_2 PSCI_VERSION(1, 2)
#define KVM_ARM_PSCI_1_3 PSCI_VERSION(1, 3)
TEST_ASSERT(psci_version >= PSCI_VERSION(1, 3),