Searched refs:savefile (Results 1 – 2 of 2) sorted by relevance
932 const char *savefile; in stubdom_destroy_callback() local941 savefile = libxl__device_model_savefile(gc, dis->domid); in stubdom_destroy_callback()942 rc = libxl__remove_file(gc, savefile); in stubdom_destroy_callback()945 savefile); in stubdom_destroy_callback()
1715 char *savefile, *restorefile; in domain_soft_reset_cb() local1731 savefile = GCSPRINTF(LIBXL_DEVICE_MODEL_SAVE_FILE".%d", dds->domid); in domain_soft_reset_cb()1734 rc = rename(savefile, restorefile); in domain_soft_reset_cb()
Completed in 7 milliseconds