Searched refs:num_ipis (Results 1 – 1 of 1) sorted by relevance
675 unsigned int cpu_vec, i, gicconfig, v[2], num_ipis; in gic_of_init() local787 num_ipis = 2 * num_possible_cpus(); in gic_of_init()788 bitmap_set(ipi_resrv, gic_shared_intrs - num_ipis, num_ipis); in gic_of_init()
