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