Searched refs:thread_woken_up (Results 1 – 1 of 1) sorted by relevance
2187 thread_t *thread_woken_up, in gate_handoff_turnstile() argument2205 *thread_woken_up = hp_thread; in gate_handoff_turnstile()