Searched refs:old_input_line_pointer (Results 1 – 1 of 1) sorted by relevance
812 char *old_input_line_pointer; in tokenize_arguments() local828 old_input_line_pointer = input_line_pointer; in tokenize_arguments()965 input_line_pointer = old_input_line_pointer; in tokenize_arguments()980 input_line_pointer = old_input_line_pointer; in tokenize_arguments()987 input_line_pointer = old_input_line_pointer; in tokenize_arguments()