Searched defs:__debug_switch_to_guest (Results 1 – 3 of 3) sorted by relevance
13 void __debug_switch_to_guest(struct kvm_vcpu *vcpu) in __debug_switch_to_guest() function
67 void __debug_switch_to_guest(struct kvm_vcpu *vcpu) in __debug_switch_to_guest() function
152 void __hyp_text __debug_switch_to_guest(struct kvm_vcpu *vcpu) in __debug_switch_to_guest() function