kvm_psci_version
val = kvm_psci_version(vcpu);
int version = kvm_psci_version(vcpu);
if (kvm_psci_version(source_vcpu) != KVM_ARM_PSCI_0_1)