Searched refs:gic_shared_intrs (Results 1 – 1 of 1) sorted by relevance
37 static int gic_shared_intrs; variable330 for (i = 0; i < BITS_TO_LONGS(gic_shared_intrs); i++) { in gic_handle_shared_int()345 bitmap_and(pending, pending, intrmask, gic_shared_intrs); in gic_handle_shared_int()346 bitmap_and(pending, pending, pcpu_mask, gic_shared_intrs); in gic_handle_shared_int()348 intr = find_first_bit(pending, gic_shared_intrs); in gic_handle_shared_int()349 while (intr != gic_shared_intrs) { in gic_handle_shared_int()359 intr = find_first_bit(pending, gic_shared_intrs); in gic_handle_shared_int()638 gic_resched_int_base = gic_shared_intrs - nr_cpu_ids; in gic_ipi_init()659 for (i = 0; i < gic_shared_intrs; i++) { in gic_basic_init()818 gic_shared_intrs = (gicconfig & GIC_SH_CONFIG_NUMINTRS_MSK) >> in __gic_init()[all …]