Searched refs:ctf_top_thread_switched_in (Results 1 – 2 of 2) sorted by relevance
67 ctf_top_thread_switched_in((uint32_t)(uintptr_t)thread, name); in sys_trace_k_thread_switched_in()
202 static inline void ctf_top_thread_switched_in(uint32_t thread_id, in ctf_top_thread_switched_in() function