Searched refs:saved_argv (Results 1 – 1 of 1) sorted by relevance
296 char **saved_argv = argv; in print_formatted() local311 return saved_argv; /* causes main() to exit */ in print_formatted()362 return saved_argv - 1; in print_formatted()391 return saved_argv; /* causes main() to exit */ in print_formatted()