Searched defs:responding_scid (Results 1 – 1 of 1) sorted by relevance
1565 Exclaves_L4_Word_t responding_scid = yield->thread; in handle_response_yield() local1591 Exclaves_L4_Word_t responding_scid = spawned->thread; in handle_response_spawned() local1622 Exclaves_L4_Word_t responding_scid = terminated->thread; in handle_response_terminated() local1641 Exclaves_L4_Word_t responding_scid = wait->waiter; in handle_response_wait() local1715 Exclaves_L4_Word_t responding_scid = wake->waker; in handle_response_wake() local1746 Exclaves_L4_Word_t responding_scid = wake->waker; in handle_response_wake_with_owner() local1798 Exclaves_L4_Word_t responding_scid = suspended->suspended; in handle_response_suspended() local1834 Exclaves_L4_Word_t responding_scid = resumed->thread; in handle_response_resumed() local1864 Exclaves_L4_Word_t responding_scid = interrupted->thread; in handle_response_interrupted() local