Searched refs:plat_ipi_resched_int_xlate (Results 1 – 3 of 3) sorted by relevance
38 intr = plat_ipi_resched_int_xlate(cpu); in gic_send_ipi_single()
374 extern unsigned int plat_ipi_resched_int_xlate(unsigned int);
364 unsigned int plat_ipi_resched_int_xlate(unsigned int cpu) in plat_ipi_resched_int_xlate() function