Searched refs:num_ipis (Results 1 – 1 of 1) sorted by relevance
665 unsigned int v[2], num_ipis; in gic_register_ipi_domain() local686 num_ipis = 2 * num_possible_cpus(); in gic_register_ipi_domain()687 bitmap_set(ipi_resrv, gic_shared_intrs - num_ipis, num_ipis); in gic_register_ipi_domain()