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