2 * Copyright (C) 2012,2013 - ARM Ltd
3 * Author: Marc Zyngier <marc.zyngier@arm.com>
5 * This program is free software; you can redistribute it and/or modify
6 * it under the terms of the GNU General Public License version 2 as
7 * published by the Free Software Foundation.
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
14 * You should have received a copy of the GNU General Public License
15 * along with this program. If not, see <http://www.gnu.org/licenses/>.
18 #ifndef __ARM_KVM_ASM_H__
19 #define __ARM_KVM_ASM_H__
23 #define ARM_EXCEPTION_IRQ 0
24 #define ARM_EXCEPTION_TRAP 1
26 #define KVM_ARM64_DEBUG_DIRTY_SHIFT 0
27 #define KVM_ARM64_DEBUG_DIRTY (1 << KVM_ARM64_DEBUG_DIRTY_SHIFT)
29 #define kvm_ksym_ref(sym) phys_to_virt((u64)&sym - kimage_voffset)
35 extern char __kvm_hyp_init[];
36 extern char __kvm_hyp_init_end[];
38 extern char __kvm_hyp_vector[];
40 #define __kvm_hyp_code_start __hyp_text_start
41 #define __kvm_hyp_code_end __hyp_text_end
43 extern void __kvm_flush_vm_context(void);
44 extern void __kvm_tlb_flush_vmid_ipa(struct kvm *kvm, phys_addr_t ipa);
45 extern void __kvm_tlb_flush_vmid(struct kvm *kvm);
47 extern int __kvm_vcpu_run(struct kvm_vcpu *vcpu);
49 extern u64 __vgic_v3_get_ich_vtr_el2(void);
51 extern u32 __kvm_get_mdcr_el2(void);
55 #endif /* __ARM_KVM_ASM_H__ */