wa_level          529 virt/kvm/arm/psci.c 	int wa_level;
wa_level          571 virt/kvm/arm/psci.c 		wa_level = val & KVM_REG_FEATURE_LEVEL_MASK;
wa_level          573 virt/kvm/arm/psci.c 		if (get_kernel_wa_level(reg->id) < wa_level)
wa_level          577 virt/kvm/arm/psci.c 		if (wa_level != KVM_REG_ARM_SMCCC_ARCH_WORKAROUND_2_AVAIL &&
wa_level          578 virt/kvm/arm/psci.c 		    wa_level != val)
wa_level          589 virt/kvm/arm/psci.c 		switch (wa_level) {