X-Git-Url: http://rtime.felk.cvut.cz/gitweb/jailhouse.git/blobdiff_plain/b77b9793126fd278ec3839cbead5bf21a389bdd0..f5dcc13bcf89d190d35b99cf79a8586ea7c1a93d:/hypervisor/arch/arm/irqchip.c

diff --git a/hypervisor/arch/arm/irqchip.c b/hypervisor/arch/arm/irqchip.c
index 1e2a4e4..7ace354 100644
--- a/hypervisor/arch/arm/irqchip.c
+++ b/hypervisor/arch/arm/irqchip.c
@@ -129,16 +129,16 @@ int irqchip_insert_pending(struct per_cpu *cpu_data, struct pending_irq *irq)
 	return 0;
 }
 
-int irqchip_set_pending(struct per_cpu *cpu_data, u32 irq_id, bool try_inject)
+void irqchip_set_pending(struct per_cpu *cpu_data, u32 irq_id, bool try_inject)
 {
 	struct pending_irq pending;
 
 	pending.virt_id = irq_id;
 
 	if (try_inject && irqchip.inject_irq(cpu_data, &pending) == 0)
-		return 0;
+		return;
 
-	return irqchip_insert_pending(cpu_data, &pending);
+	irqchip_insert_pending(cpu_data, &pending);
 }
 
 /*