Searched refs:call_poke_cpu (Results 1 – 1 of 1) sorted by relevance
1141 int call_poke_cpu = 0; in cpu_resched() local1151 call_poke_cpu = 1; in cpu_resched()1156 call_poke_cpu = 1; in cpu_resched()1165 if (call_poke_cpu) in cpu_resched()