arm: Remove maintenance flag from pending_irq.type.sgi

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

diff --git a/hypervisor/arch/arm/gic-v3.c b/hypervisor/arch/arm/gic-v3.c
index 320caf4d0d8e24684a941669d450cf51f257c800..467f22257d0fefa05f626d56fd011abcb3a8fbc0 100644 (file)
--- a/hypervisor/arch/arm/gic-v3.c
+++ b/hypervisor/arch/arm/gic-v3.c
@@ -390,8 +390,6 @@ static int gic_inject_irq(struct per_cpu *cpu_data, struct pending_irq *irq)
        if (irq->hw) {
                lr |= ICH_LR_HW_BIT;
                lr |= (u64)irq->type.irq << ICH_LR_PHYS_ID_SHIFT;
-       } else if (irq->type.sgi.maintenance) {
-               lr |= ICH_LR_SGI_EOI;
        }
 
        gic_write_lr(free_lr, lr);