VCPU_WORKAROUND_2_FLAG  389 arch/arm64/include/asm/kvm_emulate.h 	return vcpu->arch.workaround_flags & VCPU_WORKAROUND_2_FLAG;
VCPU_WORKAROUND_2_FLAG  396 arch/arm64/include/asm/kvm_emulate.h 		vcpu->arch.workaround_flags |= VCPU_WORKAROUND_2_FLAG;
VCPU_WORKAROUND_2_FLAG  398 arch/arm64/include/asm/kvm_emulate.h 		vcpu->arch.workaround_flags &= ~VCPU_WORKAROUND_2_FLAG;
VCPU_WORKAROUND_2_FLAG  530 arch/arm64/kvm/hyp/switch.c 	return !(vcpu->arch.workaround_flags & VCPU_WORKAROUND_2_FLAG);
VCPU_WORKAROUND_2_FLAG  332 arch/arm64/kvm/reset.c 		vcpu->arch.workaround_flags |= VCPU_WORKAROUND_2_FLAG;