On Di, 2017-02-14 at 12:59 +0100, Paolo Bonzini wrote:
>
> On 14/02/2017 08:15, Pavel Dovgalyuk wrote:
> > This patch changes resetting strategy of the audio polling timer.
> > It does not change expiration time if the timer is already set.
> > This patch is needed to make this timer deterministic
On Do, 2017-02-16 at 18:16 +0300, Pavel Dovgalyuk wrote:
> > From: Gerd Hoffmann [mailto:kra...@redhat.com]
> > On Di, 2017-02-14 at 12:59 +0100, Paolo Bonzini wrote:
> > > On 14/02/2017 08:15, Pavel Dovgalyuk wrote:
> > > > This patch changes resetting strategy of the audio polling timer.
> > > >
> From: Gerd Hoffmann [mailto:kra...@redhat.com]
> On Di, 2017-02-14 at 12:59 +0100, Paolo Bonzini wrote:
> > On 14/02/2017 08:15, Pavel Dovgalyuk wrote:
> > > This patch changes resetting strategy of the audio polling timer.
> > > It does not change expiration time if the timer is already set.
> >
On 14/02/2017 08:15, Pavel Dovgalyuk wrote:
> This patch changes resetting strategy of the audio polling timer.
> It does not change expiration time if the timer is already set.
> This patch is needed to make this timer deterministic and to use execution
> record/replay for audio devices.
>
> au
This patch changes resetting strategy of the audio polling timer.
It does not change expiration time if the timer is already set.
This patch is needed to make this timer deterministic and to use execution
record/replay for audio devices.
audio_reset_timer is used in the function audio_vm_change_st