Searched refs:yielded_to_scid (Results 1 – 1 of 1) sorted by relevance
1660 Exclaves_L4_Word_t yielded_to_scid = yield->yieldTo; in handle_response_yield() local1665 early ? "(early yield)" : "", responding_scid, yielded_to_scid); in handle_response_yield()1676 MACH_EXCLAVES_SCHEDULER_YIELD), yielded_to_scid, early); in handle_response_yield()