arm: Remove maintenance flag from pending_irq.type.sgi

[jailhouse.git] / hypervisor / arch / arm / include / asm / irqchip.h

diff --git a/hypervisor/arch/arm/include/asm/irqchip.h b/hypervisor/arch/arm/include/asm/irqchip.h
index 02da6bba366edd64af34b6cd796cc29ff68097d1..c468b70b5f0dd79a8605a1aa91788b86b3157a16 100644 (file)
--- a/hypervisor/arch/arm/include/asm/irqchip.h
+++ b/hypervisor/arch/arm/include/asm/irqchip.h
@@ -71,8 +71,6 @@ struct pending_irq {
                struct {
                        /* GICv2 needs cpuid for SGIs */
                        u16 cpuid       : 15;
-                       /* EOI generates a maintenance irq */
-                       u16 maintenance : 1;
                } sgi __attribute__((packed));
        } type;