Searched refs:exclaves_conclave_launch (Results 1 – 3 of 3) sorted by relevance
364 exclaves_conclave_launch(exclaves_resource_t *resource);
950 exclaves_conclave_launch(exclaves_resource_t *resource) in exclaves_conclave_launch() function
10284 kr = exclaves_conclave_launch(conclave); in task_launch_conclave()