Searched refs:ipi_handler (Results 1 – 1 of 1) sorted by relevance
1325 static void ipi_handler(void *null) in ipi_handler() function1332 if (on_each_cpu(ipi_handler, NULL, 1) != 0) in global_cache_flush()