KVM_REG_ARM_PSCI_VERSION
KVM_REG_ARM_PSCI_VERSION,
case KVM_REG_ARM_PSCI_VERSION:
psci_version = vcpu_get_reg(target, KVM_REG_ARM_PSCI_VERSION);