Searched refs:checkpoint_file (Results 1 – 1 of 1) sorted by relevance
164 const char *checkpoint_file = NULL; in main_restore() local202 checkpoint_file = argv[optind]; in main_restore()205 checkpoint_file = argv[optind + 1]; in main_restore()217 dom_info.restore_file = checkpoint_file; in main_restore()
Completed in 2 milliseconds