KVM_ARM_PSCI_0_1
case KVM_ARM_PSCI_0_1:
if (kvm_psci_version(source_vcpu) != KVM_ARM_PSCI_0_1)
return KVM_ARM_PSCI_0_1;