From: Julien Grall Date: Tue, 23 Oct 2018 18:17:08 +0000 (+0100) Subject: xen/arm: gic: Remove duplicated comment in do_sgi X-Git-Tag: archive/raspbian/4.14.0+80-gd101b417b7-1+rpi1^2~63^2~2985 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=6d8ffac1f7a782dc2c7f8df3871a294729ae36bd;p=xen.git xen/arm: gic: Remove duplicated comment in do_sgi Signed-off-by: Julien Grall Reviewed-by: Andrii Anisov Acked-by: Stefano Stabellini --- diff --git a/xen/arch/arm/gic.c b/xen/arch/arm/gic.c index baf74324e5..37c3af7197 100644 --- a/xen/arch/arm/gic.c +++ b/xen/arch/arm/gic.c @@ -359,7 +359,6 @@ void gic_disable_cpu(void) static void do_sgi(struct cpu_user_regs *regs, enum gic_sgi sgi) { - /* Lower the priority */ struct irq_desc *desc = irq_to_desc(sgi); perfc_incr(ipis);