|
@@ -38,6 +38,11 @@ void kvm_inject_undefined(struct kvm_vcpu *vcpu);
|
|
void kvm_inject_dabt(struct kvm_vcpu *vcpu, unsigned long addr);
|
|
void kvm_inject_dabt(struct kvm_vcpu *vcpu, unsigned long addr);
|
|
void kvm_inject_pabt(struct kvm_vcpu *vcpu, unsigned long addr);
|
|
void kvm_inject_pabt(struct kvm_vcpu *vcpu, unsigned long addr);
|
|
|
|
|
|
|
|
+static inline void vcpu_reset_hcr(struct kvm_vcpu *vcpu)
|
|
|
|
+{
|
|
|
|
+ vcpu->arch.hcr_el2 = HCR_GUEST_FLAGS;
|
|
|
|
+}
|
|
|
|
+
|
|
static inline unsigned long *vcpu_pc(const struct kvm_vcpu *vcpu)
|
|
static inline unsigned long *vcpu_pc(const struct kvm_vcpu *vcpu)
|
|
{
|
|
{
|
|
return (unsigned long *)&vcpu_gp_regs(vcpu)->regs.pc;
|
|
return (unsigned long *)&vcpu_gp_regs(vcpu)->regs.pc;
|