Searched refs:yielded_to_scid (Results 1 – 1 of 1) sorted by relevance
1386 Exclaves_L4_Word_t yielded_to_scid = yield->yieldTo; in handle_response_yield() local1391 responding_scid, yielded_to_scid); in handle_response_yield()1400 MACH_EXCLAVES_SCHEDULER_YIELD), yielded_to_scid); in handle_response_yield()