__set_guest_arch_workaround_state  626 arch/arm64/kvm/hyp/switch.c 	__set_guest_arch_workaround_state(vcpu);
__set_guest_arch_workaround_state  695 arch/arm64/kvm/hyp/switch.c 	__set_guest_arch_workaround_state(vcpu);