Searched refs:__debug_switch_to_host (Results 1 – 3 of 3) sorted by relevance
146 void __debug_switch_to_host(struct kvm_vcpu *vcpu);
528 __debug_switch_to_host(vcpu); in kvm_vcpu_run_vhe()590 __debug_switch_to_host(vcpu); in __kvm_vcpu_run_nvhe()
178 void __hyp_text __debug_switch_to_host(struct kvm_vcpu *vcpu) in __debug_switch_to_host() function
