Lines Matching defs:exec_handle
667 /// \return An exec_handle.
881 const executor::exec_handle cleanup_handle = spawn_cleanup(
899 executor::exec_handle
914 const executor::exec_handle handle = generic.spawn_followup(
1046 const executor::exec_handle exec_handle = _pimpl->generic.spawn(
1049 executor::exit_handle exit_handle = _pimpl->generic.wait(exec_handle);
1089 scheduler::exec_handle
1111 const executor::exec_handle handle = _pimpl->generic.spawn(
1229 // because the caller wants to see the exact same exec_handle that was
1292 const exec_handle exec_handle = spawn_test(
1314 INV(result_handle->original_pid() == exec_handle);