67 static inline int mp_is_cpu_active(uint cpu)  in mp_is_cpu_active()
72 static inline int mp_is_cpu_idle(uint cpu)  in mp_is_cpu_idle()
78 static inline void mp_set_cpu_idle(uint cpu)  in mp_set_cpu_idle()
83 static inline void mp_set_cpu_busy(uint cpu)  in mp_set_cpu_busy()
93 static inline void mp_set_cpu_realtime(uint cpu)  in mp_set_cpu_realtime()
98 static inline void mp_set_cpu_non_realtime(uint cpu)  in mp_set_cpu_non_realtime()
115 static inline int mp_is_cpu_active(uint cpu) { return 1; }  in mp_is_cpu_active()
116 static inline int mp_is_cpu_idle(uint cpu) { return (get_current_thread()->flags & THREAD_FLAG_IDLE…  in mp_is_cpu_idle()
118 static inline void mp_set_cpu_idle(uint cpu) {}  in mp_set_cpu_idle()
119 static inline void mp_set_cpu_busy(uint cpu) {}  in mp_set_cpu_busy()
123 static inline void mp_set_cpu_realtime(uint cpu) {}  in mp_set_cpu_realtime()
124 static inline void mp_set_cpu_non_realtime(uint cpu) {}  in mp_set_cpu_non_realtime()