__set_host_arch_workaround_state  635 arch/arm64/kvm/hyp/switch.c 	__set_host_arch_workaround_state(vcpu);
__set_host_arch_workaround_state  704 arch/arm64/kvm/hyp/switch.c 	__set_host_arch_workaround_state(vcpu);