Searched refs:plat_ipi_call_int_xlate (Results 1 – 3 of 3) sorted by relevance
48 gic_send_ipi(plat_ipi_call_int_xlate(cpu)); in ipi_call_function()
339 extern unsigned int plat_ipi_call_int_xlate(unsigned int);
339 unsigned int plat_ipi_call_int_xlate(unsigned int cpu) in plat_ipi_call_int_xlate() function