|
@@ -315,11 +315,13 @@ int kvm_cpu_has_pending_timer(struct kvm_vcpu *vcpu)
|
|
void kvm_arch_vcpu_blocking(struct kvm_vcpu *vcpu)
|
|
void kvm_arch_vcpu_blocking(struct kvm_vcpu *vcpu)
|
|
{
|
|
{
|
|
kvm_timer_schedule(vcpu);
|
|
kvm_timer_schedule(vcpu);
|
|
|
|
+ kvm_vgic_v4_enable_doorbell(vcpu);
|
|
}
|
|
}
|
|
|
|
|
|
void kvm_arch_vcpu_unblocking(struct kvm_vcpu *vcpu)
|
|
void kvm_arch_vcpu_unblocking(struct kvm_vcpu *vcpu)
|
|
{
|
|
{
|
|
kvm_timer_unschedule(vcpu);
|
|
kvm_timer_unschedule(vcpu);
|
|
|
|
+ kvm_vgic_v4_disable_doorbell(vcpu);
|
|
}
|
|
}
|
|
|
|
|
|
int kvm_arch_vcpu_init(struct kvm_vcpu *vcpu)
|
|
int kvm_arch_vcpu_init(struct kvm_vcpu *vcpu)
|