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