Searched refs:user_debug_thread_scheduled (Results 1 – 3 of 3) sorted by relevance
278 void user_debug_thread_scheduled(Thread* thread);
269 user_debug_thread_scheduled(thread); in thread_resumes()
1557 user_debug_thread_scheduled(Thread* thread) in user_debug_thread_scheduled() function