285 static uint64 read_input(uint64** input_posp, bool peek = false);
541 		uint64 call_num = read_input(&input_pos);  in execute_one()
545 			char* addr = (char*)read_input(&input_pos);  in execute_one()
546 			uint64 typ = read_input(&input_pos);  in execute_one()
555 				uint64 meta = read_input(&input_pos);  in execute_one()
563 				uint64 size = read_input(&input_pos);  in execute_one()
567 					read_input(&input_pos);  in execute_one()
572 				uint64 size = read_input(&input_pos);  in execute_one()
574 				uint64 csum_kind = read_input(&input_pos);  in execute_one()
582 					uint64 chunks_num = read_input(&input_pos);  in execute_one()
585 						uint64 chunk_kind = read_input(&input_pos);  in execute_one()
586 						uint64 chunk_value = read_input(&input_pos);  in execute_one()
587 						uint64 chunk_size = read_input(&input_pos);  in execute_one()
621 			read_input(&input_pos); // index  in execute_one()
622 			read_input(&input_pos); // addr  in execute_one()
623 			read_input(&input_pos); // size  in execute_one()
631 		uint64 copyout_index = read_input(&input_pos);  in execute_one()
632 		uint64 num_args = read_input(&input_pos);  in execute_one()
809 		uint64 instr = read_input(&th->copyout_pos);  in copyout_call_results()
812 			uint64 index = read_input(&th->copyout_pos);  in copyout_call_results()
815 			char* addr = (char*)read_input(&th->copyout_pos);  in copyout_call_results()
816 			uint64 size = read_input(&th->copyout_pos);  in copyout_call_results()
1073 	uint64 typ = read_input(input_posp);  in read_arg()
1085 		uint64 meta = read_input(input_posp);  in read_arg()
1098 	uint64 meta = read_input(input_posp);  in read_const_arg()
1099 	uint64 val = read_input(input_posp);  in read_const_arg()
1128 	uint64 idx = read_input(input_posp);  in read_result()
1129 	uint64 op_div = read_input(input_posp);  in read_result()
1130 	uint64 op_add = read_input(input_posp);  in read_result()
1131 	uint64 arg = read_input(input_posp);  in read_result()
1143 uint64 read_input(uint64** input_posp, bool peek)  in read_input()  function