Searched defs:num_ipis (Results 1 – 2 of 2) sorted by relevance
846 unsigned int v[2], num_ipis; in gic_register_ipi_domain() local
1016 unsigned int num_ipis = GICV5_IPIS_PER_CPU * nr_cpu_ids; in gicv5_smp_init() local