Re: [Qemu-devel] [PATCH v3] audio: make audio poll timer deterministic

2017-02-16 Thread Gerd Hoffmann
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

Re: [Qemu-devel] [PATCH v3] audio: make audio poll timer deterministic

2017-02-16 Thread Gerd Hoffmann
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. > > > >

Re: [Qemu-devel] [PATCH v3] audio: make audio poll timer deterministic

2017-02-16 Thread Pavel Dovgalyuk
> 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. > >

Re: [Qemu-devel] [PATCH v3] audio: make audio poll timer deterministic

2017-02-14 Thread Paolo Bonzini
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

[Qemu-devel] [PATCH v3] audio: make audio poll timer deterministic

2017-02-13 Thread Pavel Dovgalyuk
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