From: Andrii Anisov <[email protected]>
Signed-off-by: Andrii Anisov <[email protected]>
---
xen/arch/arm/irq.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/xen/arch/arm/irq.c b/xen/arch/arm/irq.c
index 098281f..d5ad277 100644
--- a/xen/arch/arm/irq.c
+++ b/xen/arch/arm/irq.c
@@ -224,7 +224,7 @@ void do_IRQ(struct cpu_user_regs *regs, unsigned int irq,
int is_fiq)
/*
* The irq cannot be a PPI, we only support delivery of SPIs to
* guests.
- */
+ */
vgic_inject_irq(info->d, NULL, info->virq, true);
goto out_no_end;
}
--
2.7.4
_______________________________________________
Xen-devel mailing list
[email protected]
https://lists.xenproject.org/mailman/listinfo/xen-devel
