Searched refs:dm_savefile (Results 1 – 6 of 6) sorted by relevance
45 dsps->dm_savefile = libxl__device_model_savefile(gc, domid); in libxl__domain_suspend_init()78 const char *const filename = dsps->dm_savefile; in libxl__domain_suspend_device_model()
997 const char *const filename = dsps->dm_savefile; in dm_stopped()1058 libxl__remove_file(gc, dsps->dm_savefile); in dm_state_fd_ready()1086 libxl__remove_file(gc, dsps->dm_savefile); in dm_state_save_to_fdset()1097 libxl__remove_file(gc, dsps->dm_savefile); in dm_state_saved()
453 const char *const filename = dss->dsps.dm_savefile; in write_emulator_context_record()
196 dsps->dm_savefile = libxl__device_model_savefile(gc, dsps->domid); in init_dsps()
2178 dss->dsps.dm_savefile = GCSPRINTF(LIBXL_DEVICE_MODEL_SAVE_FILE".%d", in do_domain_soft_reset()
3609 const char *dm_savefile; member
Completed in 45 milliseconds