While the vgic code doesn't really care about an edge interrupt having its line "lowered", doing so makes more sense from a timer perspective, and clearly indicates that this is an edge-triggered interrupt. Signed-off-by: Marc Zyngier <marc.zyngier@xxxxxxx> --- arch/arm/kvm/timer.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/arch/arm/kvm/timer.c b/arch/arm/kvm/timer.c index a241298..b9e573f 100644 --- a/arch/arm/kvm/timer.c +++ b/arch/arm/kvm/timer.c @@ -42,6 +42,9 @@ static void kvm_timer_inject_irq(struct kvm_vcpu *vcpu) kvm_vgic_inject_irq(vcpu->kvm, vcpu->vcpu_id, vcpu->arch.timer_cpu.irq->irq, vcpu->arch.timer_cpu.irq->level); + kvm_vgic_inject_irq(vcpu->kvm, vcpu->vcpu_id, + vcpu->arch.timer_cpu.irq->irq, + !vcpu->arch.timer_cpu.irq->level); } static irqreturn_t kvm_arch_timer_handler(int irq, void *dev_id) -- 1.7.12 _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm
