X-Git-Url: http://rtime.felk.cvut.cz/gitweb/jailhouse.git/blobdiff_plain/03475882880dc5ae49d0852c628a8b8958be80ac..3b6a758cb690553583fab3156bce14114775e726:/hypervisor/arch/arm/irqchip.c

diff --git a/hypervisor/arch/arm/irqchip.c b/hypervisor/arch/arm/irqchip.c
index a80577f..e0871b1 100644
--- 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;