Searched refs:num_ipis (Results 1 – 1 of 1) sorted by relevance
691 unsigned int cpu_vec, i, gicconfig, v[2], num_ipis; in gic_of_init() local802 num_ipis = 2 * num_possible_cpus(); in gic_of_init()803 bitmap_set(ipi_resrv, gic_shared_intrs - num_ipis, num_ipis); in gic_of_init()
Completed in 7 milliseconds