| 1234567891011121314151617181920212223242526 |
- // SPDX-License-Identifier: GPL-2.0-only
- /*
- * Copyright (C) 2015 - ARM Ltd
- * Author: Marc Zyngier <[email protected]>
- */
- #include <hyp/debug-sr.h>
- #include <linux/kvm_host.h>
- #include <asm/kvm_hyp.h>
- void __debug_switch_to_guest(struct kvm_vcpu *vcpu)
- {
- __debug_switch_to_guest_common(vcpu);
- }
- void __debug_switch_to_host(struct kvm_vcpu *vcpu)
- {
- __debug_switch_to_host_common(vcpu);
- }
- u64 __kvm_get_mdcr_el2(void)
- {
- return read_sysreg(mdcr_el2);
- }
|
