xen/arm: gic: Remove duplicated comment in do_sgi
authorJulien Grall <julien.grall@arm.com>
Tue, 23 Oct 2018 18:17:08 +0000 (19:17 +0100)
committerStefano Stabellini <sstabellini@kernel.org>
Fri, 9 Nov 2018 23:10:26 +0000 (15:10 -0800)
commit6d8ffac1f7a782dc2c7f8df3871a294729ae36bd
tree15d75e853141f8144994ac1592351b0634ceae45
parent555e5f1bd26c4c1995357e9671b3e42a68d5ce8f
xen/arm: gic: Remove duplicated comment in do_sgi

Signed-off-by: Julien Grall <julien.grall@arm.com>
Reviewed-by: Andrii Anisov<andrii_anisov@epam.com>
Acked-by: Stefano Stabellini <sstabellini@kernel.org>
xen/arch/arm/gic.c