534 	uint64* input_pos = (uint64*)input_data;  in execute_one()
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()
550 				uint64 arg = read_const_arg(&input_pos, &size, &bf, &bf_off, &bf_len);  in execute_one()
555 				uint64 meta = read_input(&input_pos);  in execute_one()
558 				uint64 val = read_result(&input_pos);  in execute_one()
563 				uint64 size = read_input(&input_pos);  in execute_one()
564 				NONFAILING(memcpy(addr, input_pos, size));  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()
637 			args[i] = read_arg(&input_pos);  in execute_one()
641 					     num_args, args, input_pos);  in execute_one()
1145 	uint64* input_pos = *input_posp;  in read_input()  local
1146 	if ((char*)input_pos >= input_data + kMaxInput)  in read_input()
1147 		fail("input command overflows input %p: [%p:%p)", input_pos, input_data, input_data + kMaxInput);  in read_input()
1149 		*input_posp = input_pos + 1;  in read_input()
1150 	return *input_pos;  in read_input()