Searched refs:gic_resched_int_base (Results 1 – 1 of 1) sorted by relevance
576 static int gic_resched_int_base; variable581 return gic_resched_int_base + cpu; in plat_ipi_resched_int_xlate()638 gic_resched_int_base = gic_shared_intrs - nr_cpu_ids; in gic_ipi_init()639 gic_call_int_base = gic_resched_int_base - nr_cpu_ids; in gic_ipi_init()643 gic_ipi_init_one(gic_resched_int_base + i, i, &irq_resched); in gic_ipi_init()