Searched refs:ipi_setup_sgi (Results 1 – 1 of 1) sorted by relevance
1090 static void ipi_setup_sgi(int ipi) in ipi_setup_sgi() function1142 ipi_setup_sgi(i); in set_smp_ipi_range_percpu()