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) ((void *)&sym + kvm_ksym_shift)
33 #define kvm_ksym_shift (PAGE_OFFSET - KIMAGE_VADDR)
36 * GCC versions 4.9 and older will fold the constant below into the addend of
37 * the reference to 'sym' above if kvm_ksym_shift is declared static or if the
38 * constant is used directly. However, since we use the small code model for
39 * the core kernel, the reference to 'sym' will be emitted as a adrp/add pair,
40 * with a +/- 4 GB range, resulting in linker relocation errors if the shift
41 * is sufficiently large. So prevent the compiler from folding the shift into
42 * the addend, by making the shift a variable with external linkage.
44 __weak u64 kvm_ksym_shift = PAGE_OFFSET - KIMAGE_VADDR;
50 extern char __kvm_hyp_init[];
51 extern char __kvm_hyp_init_end[];
53 extern char __kvm_hyp_vector[];
55 #define __kvm_hyp_code_start __hyp_text_start
56 #define __kvm_hyp_code_end __hyp_text_end
58 extern void __kvm_flush_vm_context(void);
59 extern void __kvm_tlb_flush_vmid_ipa(struct kvm *kvm, phys_addr_t ipa);
60 extern void __kvm_tlb_flush_vmid(struct kvm *kvm);
62 extern int __kvm_vcpu_run(struct kvm_vcpu *vcpu);
64 extern u64 __vgic_v3_get_ich_vtr_el2(void);
66 extern u32 __kvm_get_mdcr_el2(void);
70 #endif /* __ARM_KVM_ASM_H__ */