195 static inline void ctf_top_thread_switched_out(uint32_t thread_id,  in ctf_top_thread_switched_out()  argument
199 		  thread_id, name);  in ctf_top_thread_switched_out()
202 static inline void ctf_top_thread_switched_in(uint32_t thread_id,  in ctf_top_thread_switched_in()  argument
205 	CTF_EVENT(CTF_LITERAL(uint8_t, CTF_EVENT_THREAD_SWITCHED_IN), thread_id,  in ctf_top_thread_switched_in()
209 static inline void ctf_top_thread_priority_set(uint32_t thread_id, int8_t prio,  in ctf_top_thread_priority_set()  argument
213 		  thread_id, name, prio);  in ctf_top_thread_priority_set()
216 static inline void ctf_top_thread_create(uint32_t thread_id, int8_t prio,  in ctf_top_thread_create()  argument
219 	CTF_EVENT(CTF_LITERAL(uint8_t, CTF_EVENT_THREAD_CREATE), thread_id,  in ctf_top_thread_create()
223 static inline void ctf_top_thread_abort(uint32_t thread_id,  in ctf_top_thread_abort()  argument
226 	CTF_EVENT(CTF_LITERAL(uint8_t, CTF_EVENT_THREAD_ABORT), thread_id,  in ctf_top_thread_abort()
230 static inline void ctf_top_thread_suspend(uint32_t thread_id,  in ctf_top_thread_suspend()  argument
233 	CTF_EVENT(CTF_LITERAL(uint8_t, CTF_EVENT_THREAD_SUSPEND), thread_id,  in ctf_top_thread_suspend()
237 static inline void ctf_top_thread_resume(uint32_t thread_id,  in ctf_top_thread_resume()  argument
240 	CTF_EVENT(CTF_LITERAL(uint8_t, CTF_EVENT_THREAD_RESUME), thread_id,  in ctf_top_thread_resume()
244 static inline void ctf_top_thread_ready(uint32_t thread_id,  in ctf_top_thread_ready()  argument
247 	CTF_EVENT(CTF_LITERAL(uint8_t, CTF_EVENT_THREAD_READY), thread_id,  in ctf_top_thread_ready()
251 static inline void ctf_top_thread_pend(uint32_t thread_id,  in ctf_top_thread_pend()  argument
254 	CTF_EVENT(CTF_LITERAL(uint8_t, CTF_EVENT_THREAD_PENDING), thread_id,  in ctf_top_thread_pend()
258 static inline void ctf_top_thread_info(uint32_t thread_id,  in ctf_top_thread_info()  argument
262 	CTF_EVENT(CTF_LITERAL(uint8_t, CTF_EVENT_THREAD_INFO), thread_id, name,  in ctf_top_thread_info()
266 static inline void ctf_top_thread_name_set(uint32_t thread_id,  in ctf_top_thread_name_set()  argument
269 	CTF_EVENT(CTF_LITERAL(uint8_t, CTF_EVENT_THREAD_NAME_SET), thread_id,  in ctf_top_thread_name_set()
274 static inline void ctf_top_thread_user_mode_enter(uint32_t thread_id, ctf_bounded_string_t name)  in ctf_top_thread_user_mode_enter()  argument
277 		  thread_id, name);  in ctf_top_thread_user_mode_enter()
280 static inline void ctf_top_thread_wakeup(uint32_t thread_id, ctf_bounded_string_t name)  in ctf_top_thread_wakeup()  argument
283 		  thread_id, name);  in ctf_top_thread_wakeup()