Searched refs:plat_ipi_call_int_xlate (Results 1 – 3 of 3) sorted by relevance
34 intr = plat_ipi_call_int_xlate(cpu); in gic_send_ipi_single()
373 extern unsigned int plat_ipi_call_int_xlate(unsigned int);
359 unsigned int plat_ipi_call_int_xlate(unsigned int cpu) in plat_ipi_call_int_xlate() function