Re: [Xen-devel] [PATCH 10/57] ARM: VGIC: rename gic_event_needs_delivery()

2018-03-06 Thread Julien Grall
Hi, On 05/03/18 16:03, Andre Przywara wrote: gic_event_needs_delivery() is not named very intuitively, especially the gic_ prefix is somewhat misleading. Rename it to vgic_pending_irq(), which makes it clear that this relates to the virtual GIC and is about interrupts. Signed-off-by: Andre Przy

[Xen-devel] [PATCH 10/57] ARM: VGIC: rename gic_event_needs_delivery()

2018-03-05 Thread Andre Przywara
gic_event_needs_delivery() is not named very intuitively, especially the gic_ prefix is somewhat misleading. Rename it to vgic_pending_irq(), which makes it clear that this relates to the virtual GIC and is about interrupts. Signed-off-by: Andre Przywara --- Changelog RFC ... v1: - new patch xe