set_smp_ipi_range_percpu
extern void set_smp_ipi_range_percpu(int ipi_base, int nr_ipi, int ncpus);
set_smp_ipi_range_percpu(ipi_base, n, 0);
set_smp_ipi_range_percpu(base_ipi_virq, GICV5_IPIS_PER_CPU, nr_cpu_ids);