Searched refs:scheduler_ipi (Results 1 – 1 of 1) sorted by relevance
1709 void scheduler_ipi(void);1712 static inline void scheduler_ipi(void) { } in scheduler_ipi() function