Searched refs:handle_response_spawned (Results 1 – 1 of 1) sorted by relevance
1593 handle_response_spawned(__assert_only Exclaves_L4_Word_t scid, in handle_response_spawned() function2156 kr = handle_response_spawned(ctx->scid, &response.Spawned); in exclaves_scheduler_resume_scheduling_context()