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