2 * Copyright (C) 2012,2013 - ARM Ltd
3 * Author: Marc Zyngier <marc.zyngier@arm.com>
5 * Derived from arch/arm/include/kvm_emulate.h
6 * Copyright (C) 2012 - Virtual Open Systems and Columbia University
7 * Author: Christoffer Dall <c.dall@virtualopensystems.com>
9 * This program is free software; you can redistribute it and/or modify
10 * it under the terms of the GNU General Public License version 2 as
11 * published by the Free Software Foundation.
13 * This program is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 * GNU General Public License for more details.
18 * You should have received a copy of the GNU General Public License
19 * along with this program. If not, see <http://www.gnu.org/licenses/>.
22 #ifndef __ARM64_KVM_EMULATE_H__
23 #define __ARM64_KVM_EMULATE_H__
25 #include <linux/kvm_host.h>
26 #include <asm/kvm_asm.h>
27 #include <asm/kvm_arm.h>
28 #include <asm/kvm_mmio.h>
29 #include <asm/ptrace.h>
31 unsigned long *vcpu_reg32(const struct kvm_vcpu
*vcpu
, u8 reg_num
);
32 unsigned long *vcpu_spsr32(const struct kvm_vcpu
*vcpu
);
34 bool kvm_condition_valid32(const struct kvm_vcpu
*vcpu
);
35 void kvm_skip_instr32(struct kvm_vcpu
*vcpu
, bool is_wide_instr
);
37 void kvm_inject_undefined(struct kvm_vcpu
*vcpu
);
38 void kvm_inject_dabt(struct kvm_vcpu
*vcpu
, unsigned long addr
);
39 void kvm_inject_pabt(struct kvm_vcpu
*vcpu
, unsigned long addr
);
41 static inline unsigned long *vcpu_pc(const struct kvm_vcpu
*vcpu
)
43 return (unsigned long *)&vcpu_gp_regs(vcpu
)->regs
.pc
;
46 static inline unsigned long *vcpu_elr_el1(const struct kvm_vcpu
*vcpu
)
48 return (unsigned long *)&vcpu_gp_regs(vcpu
)->elr_el1
;
51 static inline unsigned long *vcpu_cpsr(const struct kvm_vcpu
*vcpu
)
53 return (unsigned long *)&vcpu_gp_regs(vcpu
)->regs
.pstate
;
56 static inline bool vcpu_mode_is_32bit(const struct kvm_vcpu
*vcpu
)
58 return !!(*vcpu_cpsr(vcpu
) & PSR_MODE32_BIT
);
61 static inline bool kvm_condition_valid(const struct kvm_vcpu
*vcpu
)
63 if (vcpu_mode_is_32bit(vcpu
))
64 return kvm_condition_valid32(vcpu
);
69 static inline void kvm_skip_instr(struct kvm_vcpu
*vcpu
, bool is_wide_instr
)
71 if (vcpu_mode_is_32bit(vcpu
))
72 kvm_skip_instr32(vcpu
, is_wide_instr
);
77 static inline void vcpu_set_thumb(struct kvm_vcpu
*vcpu
)
79 *vcpu_cpsr(vcpu
) |= COMPAT_PSR_T_BIT
;
82 static inline unsigned long *vcpu_reg(const struct kvm_vcpu
*vcpu
, u8 reg_num
)
84 if (vcpu_mode_is_32bit(vcpu
))
85 return vcpu_reg32(vcpu
, reg_num
);
87 return (unsigned long *)&vcpu_gp_regs(vcpu
)->regs
.regs
[reg_num
];
90 /* Get vcpu SPSR for current mode */
91 static inline unsigned long *vcpu_spsr(const struct kvm_vcpu
*vcpu
)
93 if (vcpu_mode_is_32bit(vcpu
))
94 return vcpu_spsr32(vcpu
);
96 return (unsigned long *)&vcpu_gp_regs(vcpu
)->spsr
[KVM_SPSR_EL1
];
99 static inline bool vcpu_mode_priv(const struct kvm_vcpu
*vcpu
)
101 u32 mode
= *vcpu_cpsr(vcpu
) & PSR_MODE_MASK
;
103 if (vcpu_mode_is_32bit(vcpu
))
104 return mode
> COMPAT_PSR_MODE_USR
;
106 return mode
!= PSR_MODE_EL0t
;
109 static inline u32
kvm_vcpu_get_hsr(const struct kvm_vcpu
*vcpu
)
111 return vcpu
->arch
.fault
.esr_el2
;
114 static inline unsigned long kvm_vcpu_get_hfar(const struct kvm_vcpu
*vcpu
)
116 return vcpu
->arch
.fault
.far_el2
;
119 static inline phys_addr_t
kvm_vcpu_get_fault_ipa(const struct kvm_vcpu
*vcpu
)
121 return ((phys_addr_t
)vcpu
->arch
.fault
.hpfar_el2
& HPFAR_MASK
) << 8;
124 static inline bool kvm_vcpu_dabt_isvalid(const struct kvm_vcpu
*vcpu
)
126 return !!(kvm_vcpu_get_hsr(vcpu
) & ESR_EL2_ISV
);
129 static inline bool kvm_vcpu_dabt_iswrite(const struct kvm_vcpu
*vcpu
)
131 return !!(kvm_vcpu_get_hsr(vcpu
) & ESR_EL2_WNR
);
134 static inline bool kvm_vcpu_dabt_issext(const struct kvm_vcpu
*vcpu
)
136 return !!(kvm_vcpu_get_hsr(vcpu
) & ESR_EL2_SSE
);
139 static inline int kvm_vcpu_dabt_get_rd(const struct kvm_vcpu
*vcpu
)
141 return (kvm_vcpu_get_hsr(vcpu
) & ESR_EL2_SRT_MASK
) >> ESR_EL2_SRT_SHIFT
;
144 static inline bool kvm_vcpu_dabt_isextabt(const struct kvm_vcpu
*vcpu
)
146 return !!(kvm_vcpu_get_hsr(vcpu
) & ESR_EL2_EA
);
149 static inline bool kvm_vcpu_dabt_iss1tw(const struct kvm_vcpu
*vcpu
)
151 return !!(kvm_vcpu_get_hsr(vcpu
) & ESR_EL2_S1PTW
);
154 static inline int kvm_vcpu_dabt_get_as(const struct kvm_vcpu
*vcpu
)
156 return 1 << ((kvm_vcpu_get_hsr(vcpu
) & ESR_EL2_SAS
) >> ESR_EL2_SAS_SHIFT
);
159 /* This one is not specific to Data Abort */
160 static inline bool kvm_vcpu_trap_il_is32bit(const struct kvm_vcpu
*vcpu
)
162 return !!(kvm_vcpu_get_hsr(vcpu
) & ESR_EL2_IL
);
165 static inline u8
kvm_vcpu_trap_get_class(const struct kvm_vcpu
*vcpu
)
167 return kvm_vcpu_get_hsr(vcpu
) >> ESR_EL2_EC_SHIFT
;
170 static inline bool kvm_vcpu_trap_is_iabt(const struct kvm_vcpu
*vcpu
)
172 return kvm_vcpu_trap_get_class(vcpu
) == ESR_EL2_EC_IABT
;
175 static inline u8
kvm_vcpu_trap_get_fault(const struct kvm_vcpu
*vcpu
)
177 return kvm_vcpu_get_hsr(vcpu
) & ESR_EL2_FSC_TYPE
;
180 static inline unsigned long kvm_vcpu_get_mpidr(struct kvm_vcpu
*vcpu
)
182 return vcpu_sys_reg(vcpu
, MPIDR_EL1
);
185 static inline void kvm_vcpu_set_be(struct kvm_vcpu
*vcpu
)
187 if (vcpu_mode_is_32bit(vcpu
))
188 *vcpu_cpsr(vcpu
) |= COMPAT_PSR_E_BIT
;
190 vcpu_sys_reg(vcpu
, SCTLR_EL1
) |= (1 << 25);
193 static inline bool kvm_vcpu_is_be(struct kvm_vcpu
*vcpu
)
195 if (vcpu_mode_is_32bit(vcpu
))
196 return !!(*vcpu_cpsr(vcpu
) & COMPAT_PSR_E_BIT
);
198 return !!(vcpu_sys_reg(vcpu
, SCTLR_EL1
) & (1 << 25));
201 static inline unsigned long vcpu_data_guest_to_host(struct kvm_vcpu
*vcpu
,
205 if (kvm_vcpu_is_be(vcpu
)) {
210 return be16_to_cpu(data
& 0xffff);
212 return be32_to_cpu(data
& 0xffffffff);
214 return be64_to_cpu(data
);
218 return data
; /* Leave LE untouched */
221 static inline unsigned long vcpu_data_host_to_guest(struct kvm_vcpu
*vcpu
,
225 if (kvm_vcpu_is_be(vcpu
)) {
230 return cpu_to_be16(data
& 0xffff);
232 return cpu_to_be32(data
& 0xffffffff);
234 return cpu_to_be64(data
);
238 return data
; /* Leave LE untouched */
241 #endif /* __ARM64_KVM_EMULATE_H__ */