]>
Commit | Line | Data |
---|---|---|
749cf76c CD |
1 | /* |
2 | * Copyright (C) 2012 - Virtual Open Systems and Columbia University | |
3 | * Author: Christoffer Dall <c.dall@virtualopensystems.com> | |
4 | * | |
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. | |
8 | * | |
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. | |
13 | * | |
14 | * You should have received a copy of the GNU General Public License | |
15 | * along with this program; if not, write to the Free Software | |
16 | * Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. | |
17 | */ | |
18 | ||
19 | #ifndef __ARM_KVM_EMULATE_H__ | |
20 | #define __ARM_KVM_EMULATE_H__ | |
21 | ||
22 | #include <linux/kvm_host.h> | |
23 | #include <asm/kvm_asm.h> | |
45e96ea6 | 24 | #include <asm/kvm_mmio.h> |
749cf76c | 25 | |
db730d8d MZ |
26 | unsigned long *vcpu_reg(struct kvm_vcpu *vcpu, u8 reg_num); |
27 | unsigned long *vcpu_spsr(struct kvm_vcpu *vcpu); | |
749cf76c | 28 | |
5b3e5e5b CD |
29 | int kvm_handle_wfi(struct kvm_vcpu *vcpu, struct kvm_run *run); |
30 | void kvm_skip_instr(struct kvm_vcpu *vcpu, bool is_wide_instr); | |
31 | void kvm_inject_undefined(struct kvm_vcpu *vcpu); | |
32 | void kvm_inject_dabt(struct kvm_vcpu *vcpu, unsigned long addr); | |
33 | void kvm_inject_pabt(struct kvm_vcpu *vcpu, unsigned long addr); | |
34 | ||
aa024c2f MZ |
35 | static inline bool vcpu_mode_is_32bit(struct kvm_vcpu *vcpu) |
36 | { | |
37 | return 1; | |
38 | } | |
39 | ||
db730d8d | 40 | static inline unsigned long *vcpu_pc(struct kvm_vcpu *vcpu) |
749cf76c | 41 | { |
db730d8d | 42 | return &vcpu->arch.regs.usr_regs.ARM_pc; |
749cf76c CD |
43 | } |
44 | ||
db730d8d | 45 | static inline unsigned long *vcpu_cpsr(struct kvm_vcpu *vcpu) |
749cf76c | 46 | { |
db730d8d | 47 | return &vcpu->arch.regs.usr_regs.ARM_cpsr; |
749cf76c CD |
48 | } |
49 | ||
aa024c2f MZ |
50 | static inline void vcpu_set_thumb(struct kvm_vcpu *vcpu) |
51 | { | |
52 | *vcpu_cpsr(vcpu) |= PSR_T_BIT; | |
53 | } | |
54 | ||
749cf76c CD |
55 | static inline bool mode_has_spsr(struct kvm_vcpu *vcpu) |
56 | { | |
57 | unsigned long cpsr_mode = vcpu->arch.regs.usr_regs.ARM_cpsr & MODE_MASK; | |
58 | return (cpsr_mode > USR_MODE && cpsr_mode < SYSTEM_MODE); | |
59 | } | |
60 | ||
61 | static inline bool vcpu_mode_priv(struct kvm_vcpu *vcpu) | |
62 | { | |
63 | unsigned long cpsr_mode = vcpu->arch.regs.usr_regs.ARM_cpsr & MODE_MASK; | |
64 | return cpsr_mode > USR_MODE;; | |
65 | } | |
66 | ||
45e96ea6 CD |
67 | static inline bool kvm_vcpu_reg_is_pc(struct kvm_vcpu *vcpu, int reg) |
68 | { | |
69 | return reg == 15; | |
70 | } | |
71 | ||
749cf76c | 72 | #endif /* __ARM_KVM_EMULATE_H__ */ |