Searched refs:io_ptr_orig (Results 1 – 1 of 1) sorted by relevance
2742 io_manager io_ptr, io_ptr_orig = NULL; in main() local2851 if (undo_file && io_ptr_orig == NULL) { in main()2852 io_ptr_orig = io_ptr; in main()2858 if (io_ptr != io_ptr_orig) { in main()