KVM_REG_ARM_SMCCC_ARCH_WORKAROUND_1_NOT_AVAIL  471 virt/kvm/arm/psci.c 			return KVM_REG_ARM_SMCCC_ARCH_WORKAROUND_1_NOT_AVAIL;
KVM_REG_ARM_SMCCC_ARCH_WORKAROUND_1_NOT_AVAIL  477 virt/kvm/arm/psci.c 		return KVM_REG_ARM_SMCCC_ARCH_WORKAROUND_1_NOT_AVAIL;