Lines Matching defs:gic_shared_intrs
53 static int gic_shared_intrs;
161 DIV_ROUND_UP(gic_shared_intrs, 64));
164 DIV_ROUND_UP(gic_shared_intrs, 32));
166 bitmap_and(pending, pending, pcpu_mask, gic_shared_intrs);
168 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 = gicconfig & GIC_CONFIG_NUMINTERRUPTS;
791 gic_shared_intrs >>= __ffs(GIC_CONFIG_NUMINTERRUPTS);
792 gic_shared_intrs = (gic_shared_intrs + 1) * 8;
828 gic_shared_intrs, 0,
842 for (i = 0; i < gic_shared_intrs; i++) {