Searched refs:scheduler_ipi (Results 1 - 1 of 1) sorted by relevance
/include/linux/ | ||
H A D | sched.h | 2460 void scheduler_ipi(void); 2463 static inline void scheduler_ipi(void) { } function 2882 * TIF_NEED_RESCHED and the IPI handler, scheduler_ipi(), will also |
Completed in 52 milliseconds