Searched refs:__local_ipi_set (Results 1 – 1 of 1) sorted by relevance
99 static void __local_ipi_set(int enable) in __local_ipi_set() function112 __local_ipi_set(1); in os_local_ipi_enable()117 __local_ipi_set(0); in os_local_ipi_disable()