workaround_flags  389 arch/arm64/include/asm/kvm_emulate.h 	return vcpu->arch.workaround_flags & VCPU_WORKAROUND_2_FLAG;
workaround_flags  396 arch/arm64/include/asm/kvm_emulate.h 		vcpu->arch.workaround_flags |= VCPU_WORKAROUND_2_FLAG;
workaround_flags  398 arch/arm64/include/asm/kvm_emulate.h 		vcpu->arch.workaround_flags &= ~VCPU_WORKAROUND_2_FLAG;
workaround_flags  257 arch/arm64/include/asm/kvm_host.h 	u64 workaround_flags;
workaround_flags   94 arch/arm64/kernel/asm-offsets.c   DEFINE(VCPU_WORKAROUND_FLAGS,	offsetof(struct kvm_vcpu, arch.workaround_flags));
workaround_flags  530 arch/arm64/kvm/hyp/switch.c 	return !(vcpu->arch.workaround_flags & VCPU_WORKAROUND_2_FLAG);
workaround_flags  332 arch/arm64/kvm/reset.c 		vcpu->arch.workaround_flags |= VCPU_WORKAROUND_2_FLAG;