315     thread_t *current_thread = get_current_thread();  in thread_create_etc()  local
397 static mp_cpu_mask_t thread_get_mp_reschedule_target(thread_t *current_thread, thread_t *t)  in thread_get_mp_reschedule_target()
443 static void thread_mp_reschedule(thread_t *current_thread, thread_t *t)  in thread_mp_reschedule()
647     thread_t *current_thread = get_current_thread();  in thread_exit()  local
692     thread_t *current_thread = get_current_thread();  in thread_exit_from_panic()  local
812 static void thread_pinned_cond_mp_reschedule(thread_t* current_thread,  in thread_pinned_cond_mp_reschedule()
829 static void thread_cond_mp_reschedule(thread_t *current_thread, const char *caller)  in thread_cond_mp_reschedule()
879     thread_t *current_thread = get_current_thread();  in thread_resched()  local
1029     thread_t *current_thread = get_current_thread();  in thread_yield()  local
1066     thread_t *current_thread = get_current_thread();  in thread_preempt_inner()  local
1129     __UNUSED thread_t *current_thread = get_current_thread();  in thread_block()  local
1159     thread_t *current_thread = get_current_thread();  in thread_timer_callback()  local
1222     thread_t *current_thread = get_current_thread();  in thread_sleep_ns()  local
1333     thread_t *current_thread = get_current_thread();  in thread_set_name()  local
1345     thread_t *current_thread = get_current_thread();  in thread_set_priority()  local
1403             thread_t *current_thread = get_current_thread();  in thread_set_pinned_cpu()  local
1451             thread_t *current_thread = get_current_thread();  in thread_set_pinned_cpu()  local
1772     thread_t *current_thread = get_current_thread();  in wait_queue_block()  local
1833     thread_t *current_thread = get_current_thread();  in wait_queue_wake_one()  local
1890     thread_t *current_thread = get_current_thread();  in wait_queue_wake_all()  local