Searched defs:scheduler_ipi (Results 1 – 3 of 3) sorted by relevance
1912 static __always_inline void scheduler_ipi(void) in scheduler_ipi() function1923 static inline void scheduler_ipi(void) { } in scheduler_ipi() function
1631 static inline void scheduler_ipi(void) { } in scheduler_ipi() function
1746 void scheduler_ipi(void) in scheduler_ipi() function