arm: Remove maintenance flag from pending_irq.type.sgi

[jailhouse.git] / hypervisor / arch / arm / irqchip.c

diff --git a/hypervisor/arch/arm/irqchip.c b/hypervisor/arch/arm/irqchip.c
index a80577f9d801fe4f27143c864367013cdeb973a9..e0871b1ca1794d40795c5a4af2753e5d63bb3a15 100644 (file)
--- a/hypervisor/arch/arm/irqchip.c
+++ b/hypervisor/arch/arm/irqchip.c
@@ -137,7 +137,6 @@ int irqchip_set_pending(struct per_cpu *cpu_data, u32 irq_id, bool try_inject)
 
        if (is_sgi(irq_id)) {
                pending.hw = 0;
-               pending.type.sgi.maintenance = 0;
                pending.type.sgi.cpuid = 0;
        } else {
                pending.hw = 1;