Re: [Xen-devel] [PATCH v2 4/8] xen: arm: remove vgic_vcpu_inject_spi()

2015-12-22 Thread Stefano Stabellini
On Tue, 10 Nov 2015, Ian Campbell wrote: > Currently this has only a single caller, which I intend to teach about > injecting PPIs shortly. This helper doesn't add much so remove it. > > Drop a stray tab from the comment immediately preceding this change. > > Signed-off-by: Ian Campbell Acked-b

[Xen-devel] [PATCH v2 4/8] xen: arm: remove vgic_vcpu_inject_spi()

2015-11-10 Thread Ian Campbell
Currently this has only a single caller, which I intend to teach about injecting PPIs shortly. This helper doesn't add much so remove it. Drop a stray tab from the comment immediately preceding this change. Signed-off-by: Ian Campbell --- xen/arch/arm/irq.c | 7 +-- xen/arch/arm/vg