186 	uint64 copyout_index;  member
278 static thread_t* schedule_call(int call_index, int call_num, bool colliding, uint64 copyout_index, …
631 		uint64 copyout_index = read_input(&input_pos);  in execute_one()  local
640 		thread_t* th = schedule_call(call_index++, call_num, colliding, copyout_index,  in execute_one()
705 thread_t* schedule_call(int call_index, int call_num, bool colliding, uint64 copyout_index, uint64 …  in schedule_call()  argument
729 	th->copyout_index = copyout_index;  in schedule_call()
802 	if (th->copyout_index != no_copyout) {  in copyout_call_results()
803 		if (th->copyout_index >= kMaxCommands)  in copyout_call_results()
804 			fail("result idx %lld overflows kMaxCommands", th->copyout_index);  in copyout_call_results()
805 		results[th->copyout_index].executed = true;  in copyout_call_results()
806 		results[th->copyout_index].val = th->res;  in copyout_call_results()