Lines Matching defs:gic_shared_intrs
55 static int gic_shared_intrs;
162 DIV_ROUND_UP(gic_shared_intrs, 64));
165 DIV_ROUND_UP(gic_shared_intrs, 32));
167 bitmap_and(pending, pending, pcpu_mask, gic_shared_intrs);
169 for_each_set_bit(intr, pending, gic_shared_intrs) {
596 base_hwirq = find_first_bit(ipi_available, gic_shared_intrs);
597 if (base_hwirq == gic_shared_intrs)
684 GIC_NUM_LOCAL_INTRS + gic_shared_intrs,
702 bitmap_set(ipi_resrv, gic_shared_intrs - num_ipis, num_ipis);
790 gic_shared_intrs = FIELD_GET(GIC_CONFIG_NUMINTERRUPTS, gicconfig);
791 gic_shared_intrs = (gic_shared_intrs + 1) * 8;
805 gic_shared_intrs, 0,
819 for (i = 0; i < gic_shared_intrs; i++) {