Searched refs:save_domain (Results 1 – 1 of 1) sorted by relevance
122 static int save_domain(uint32_t domid, const char *filename, int checkpoint, in save_domain() function259 save_domain(domid, filename, checkpoint, leavepaused, config_filename); in main_save()
Completed in 2 milliseconds