Searched refs:handle_response_spawned (Results 1 – 1 of 1) sorted by relevance
1406 handle_response_spawned(__assert_only Exclaves_L4_Word_t scid, in handle_response_spawned() function1746 return handle_response_spawned(scid, &response.Spawned, spawned_scid); in exclaves_scheduler_resume_scheduling_context()