1*4882a593Smuzhiyun // SPDX-License-Identifier: GPL-2.0-only 2*4882a593Smuzhiyun /* 3*4882a593Smuzhiyun * Copyright (C) 2015 - ARM Ltd 4*4882a593Smuzhiyun * Author: Marc Zyngier <marc.zyngier@arm.com> 5*4882a593Smuzhiyun */ 6*4882a593Smuzhiyun 7*4882a593Smuzhiyun #include <hyp/debug-sr.h> 8*4882a593Smuzhiyun 9*4882a593Smuzhiyun #include <linux/kvm_host.h> 10*4882a593Smuzhiyun 11*4882a593Smuzhiyun #include <asm/kvm_hyp.h> 12*4882a593Smuzhiyun __debug_switch_to_guest(struct kvm_vcpu * vcpu)13*4882a593Smuzhiyunvoid __debug_switch_to_guest(struct kvm_vcpu *vcpu) 14*4882a593Smuzhiyun { 15*4882a593Smuzhiyun __debug_switch_to_guest_common(vcpu); 16*4882a593Smuzhiyun } 17*4882a593Smuzhiyun __debug_switch_to_host(struct kvm_vcpu * vcpu)18*4882a593Smuzhiyunvoid __debug_switch_to_host(struct kvm_vcpu *vcpu) 19*4882a593Smuzhiyun { 20*4882a593Smuzhiyun __debug_switch_to_host_common(vcpu); 21*4882a593Smuzhiyun } 22*4882a593Smuzhiyun __kvm_get_mdcr_el2(void)23*4882a593Smuzhiyunu32 __kvm_get_mdcr_el2(void) 24*4882a593Smuzhiyun { 25*4882a593Smuzhiyun return read_sysreg(mdcr_el2); 26*4882a593Smuzhiyun } 27