[RFC PATCH 0/3] arm: Some IPI injection optimization

[Jingyi Wang]

This series optimize arm IPI injection process by making use of
ICC_SGI1R IRM bit and implementing gic_ipi_send_single().

Jingyi Wang (3):
  irqchip/gic-v3: Make use of ICC_SGI1R IRM bit
  irqchip/gic-v3: Implement gic_ipi_send_single()
  arm/arm64: Use gic_ipi_send_single() to inject single IPI

 arch/arm/kernel/smp.c        | 16 +++++++++++++---
 arch/arm64/kernel/smp.c      | 16 +++++++++++++---
 drivers/irqchip/irq-gic-v3.c | 34 ++++++++++++++++++++++++++++++++++
 3 files changed, 60 insertions(+), 6 deletions(-)

-- 
2.19.1