Searched refs:checkpoint_target (Results 1 – 1 of 1) sorted by relevance
8455 char *checkpoint_target = NULL; in main() local8458 &checkpoint_target); in main()8460 if (checkpoint_target != NULL) in main()8461 target = checkpoint_target; in main()8475 ASSERT(checkpoint_target == NULL); in main()8615 free(checkpoint_target); in main()