Searched refs:checkpoint_file (Results 1 – 1 of 1) sorted by relevance
169 const char *checkpoint_file = NULL; in main_restore() local207 checkpoint_file = argv[optind]; in main_restore()210 checkpoint_file = argv[optind + 1]; in main_restore()222 dom_info.restore_file = checkpoint_file; in main_restore()
Completed in 3 milliseconds