__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);