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