Searched refs:gic_resched_int_base (Results 1 – 1 of 1) sorted by relevance
529 static int gic_resched_int_base; variable534 return gic_resched_int_base + cpu; in plat_ipi_resched_int_xlate()591 gic_resched_int_base = gic_shared_intrs - nr_cpu_ids; in gic_ipi_init()592 gic_call_int_base = gic_resched_int_base - nr_cpu_ids; in gic_ipi_init()596 gic_ipi_init_one(gic_resched_int_base + i, i, &irq_resched); in gic_ipi_init()