Searched refs:responding_scid (Results 1 – 1 of 1) sorted by relevance
1385 Exclaves_L4_Word_t responding_scid = yield->thread; in handle_response_yield() local1391 responding_scid, yielded_to_scid); in handle_response_yield()1396 assert3u(responding_scid, ==, scid); in handle_response_yield()1409 Exclaves_L4_Word_t responding_scid = spawned->thread; in handle_response_spawned() local1416 responding_scid, spawned->spawned); in handle_response_spawned()1423 responding_scid, *spawned_scid); in handle_response_spawned()1432 assert3u(responding_scid, ==, scid); in handle_response_spawned()1442 Exclaves_L4_Word_t responding_scid = terminated->thread; in handle_response_terminated() local1447 "scid 0x%lx terminated scid 0x%llx\n", responding_scid, in handle_response_terminated()1461 Exclaves_L4_Word_t responding_scid = wait->waiter; in handle_response_wait() local[all …]