arm: Remove maintenance flag from pending_irq.type.sgi

[jailhouse.git] / hypervisor / arch / arm / gic-v2.c

diff --git a/hypervisor/arch/arm/gic-v2.c b/hypervisor/arch/arm/gic-v2.c
index 9eb6bdebe48f7da35c08414285aaeeaed689390b..65727b0d506f7aedabd300e88f50daff487df37c 100644 (file)
--- a/hypervisor/arch/arm/gic-v2.c
+++ b/hypervisor/arch/arm/gic-v2.c
@@ -270,8 +270,6 @@ static int gic_inject_irq(struct per_cpu *cpu_data, struct pending_irq *irq)
                lr |= irq->type.irq << GICH_LR_PHYS_ID_SHIFT;
        } else {
                lr |= irq->type.sgi.cpuid << GICH_LR_CPUID_SHIFT;
-               if (irq->type.sgi.maintenance)
-                       lr |= GICH_LR_SGI_EOI_BIT;
        }
 
        gic_write_lr(first_free, lr);