Searched refs:gic_shared_intrs (Results 1 – 1 of 1) sorted by relevance
37 static int gic_shared_intrs; variable288 for (i = 0; i < BITS_TO_LONGS(gic_shared_intrs); i++) { in gic_handle_shared_int()295 bitmap_and(pending, pending, intrmask, gic_shared_intrs); in gic_handle_shared_int()296 bitmap_and(pending, pending, pcpu_mask, gic_shared_intrs); in gic_handle_shared_int()298 intr = find_first_bit(pending, gic_shared_intrs); in gic_handle_shared_int()299 while (intr != gic_shared_intrs) { in gic_handle_shared_int()309 intr = find_first_bit(pending, gic_shared_intrs); in gic_handle_shared_int()591 gic_resched_int_base = gic_shared_intrs - nr_cpu_ids; in gic_ipi_init()612 for (i = 0; i < gic_shared_intrs; i++) { in gic_basic_init()764 gic_shared_intrs = (gicconfig & GIC_SH_CONFIG_NUMINTRS_MSK) >> in __gic_init()[all …]