Searched refs:GICV5_IPIS_PER_CPU (Results 1 – 2 of 2) sorted by relevance
992 unsigned int num_ipis = GICV5_IPIS_PER_CPU * nr_cpu_ids; in gicv5_smp_init()1003 set_smp_ipi_range_percpu(base_ipi_virq, GICV5_IPIS_PER_CPU, nr_cpu_ids); in gicv5_smp_init()1048 0, GICV5_IPIS_PER_CPU * nr_cpu_ids, in gicv5_init_domains()
14 #define GICV5_IPIS_PER_CPU MAX_IPI macro