Searched defs:scheduler_ipi (Results 1 – 2 of 2) sorted by relevance
1613 static inline void scheduler_ipi(void) { } in scheduler_ipi() function
1745 void scheduler_ipi(void) in scheduler_ipi() function
