Lines Matching defs:arg_ptr
155 unsigned int arg_ptr = 1;
198 const std::string config_file(argv[arg_ptr]);
205 arg_ptr++;
210 while (arg_ptr < argc) {
211 std::string option(argv[arg_ptr]);
212 arg_ptr++;
213 unsigned num_args = argc - arg_ptr;
218 config_manager->setParam(argv[arg_ptr], argv[arg_ptr + 1],
219 argv[arg_ptr + 2]);
220 arg_ptr += 3;
227 config_manager->setParamVector(argv[arg_ptr],
228 argv[arg_ptr], values);
229 arg_ptr += 3;
233 if (argv[arg_ptr][0] == '-')
234 clearDebugFlag(argv[arg_ptr] + 1);
236 setDebugFlag(argv[arg_ptr]);
237 arg_ptr++;
241 checkpoint_dir = argv[arg_ptr];
243 arg_ptr++;
247 checkpoint_dir = argv[arg_ptr];
248 std::istringstream(argv[arg_ptr + 1]) >> pre_run_time;
250 arg_ptr += 2;
255 from_cpu = argv[arg_ptr];
256 to_cpu = argv[arg_ptr + 1];
257 std::istringstream(argv[arg_ptr + 2]) >> pre_switch_time;
258 arg_ptr += 3;
262 std::istringstream(argv[arg_ptr]) >> num_switch_cpus;
263 arg_ptr++;