1 // SPDX-License-Identifier: GPL-2.0-only
2 /*
3  * Copyright (C) 2015 - ARM Ltd
4  * Author: Marc Zyngier <[email protected]>
5  */
6 
7 #include <hyp/debug-sr.h>
8 
9 #include <linux/kvm_host.h>
10 
11 #include <asm/kvm_hyp.h>
12 
__debug_switch_to_guest(struct kvm_vcpu * vcpu)13 void __debug_switch_to_guest(struct kvm_vcpu *vcpu)
14 {
15 	__debug_switch_to_guest_common(vcpu);
16 }
17 
__debug_switch_to_host(struct kvm_vcpu * vcpu)18 void __debug_switch_to_host(struct kvm_vcpu *vcpu)
19 {
20 	__debug_switch_to_host_common(vcpu);
21 }
22