Searched refs:num_ipis (Results 1 – 2 of 2) sorted by relevance
846 unsigned int v[2], num_ipis; in gic_register_ipi_domain() local867 num_ipis = 2 * num_possible_cpus(); in gic_register_ipi_domain()868 bitmap_set(ipi_resrv, gic_shared_intrs - num_ipis, num_ipis); in gic_register_ipi_domain()
992 unsigned int num_ipis = GICV5_IPIS_PER_CPU * nr_cpu_ids; in gicv5_smp_init() local999 num_ipis, NUMA_NO_NODE, NULL); in gicv5_smp_init()