Lines Matching defs:exec_handle

755 /// \return An exec_handle.
1018         const executor::exec_handle cleanup_handle = spawn_cleanup(
1036     executor::exec_handle
1051         const executor::exec_handle handle = generic.spawn_followup(
1080         const executor::exec_handle cleanup_handle = spawn_execenv_cleanup(
1096     executor::exec_handle
1107         const executor::exec_handle handle = generic.spawn_followup(
1238         const executor::exec_handle exec_handle = _pimpl->generic.spawn(
1241         executor::exit_handle exit_handle = _pimpl->generic.wait(exec_handle);
1281 scheduler::exec_handle
1303     const executor::exec_handle handle = _pimpl->generic.spawn(
1437         // because the caller wants to see the exact same exec_handle that was
1558     const exec_handle exec_handle = spawn_test(
1580     INV(result_handle->original_pid() == exec_handle);