> From: Paolo Bonzini [mailto:paolo.bonz...@gmail.com] On Behalf Of Paolo > Bonzini > On 18/02/2015 12:57, Pavel Dovgalyuk wrote: > > @@ -2751,6 +2757,7 @@ int main(int argc, char **argv, char **envp) > > { > > int i; > > int snapshot, linux_boot; > > + const char *icount_option = NULL; > > const char *initrd_filename; > > const char *kernel_filename, *kernel_cmdline; > > const char *boot_order; > > @@ -3770,6 +3777,8 @@ int main(int argc, char **argv, char **envp) > > } > > } > > > > + replay_configure(icount_opts); > > Is it possible to call this together with configure_icount (or even from > configure_icount)?
I think that it is the best place for replay_configure. It sets replay_mode which may be checked while configuring the virtual machine. That's why this function is called before any initialization actions. Pavel Dovgalyuk
