Re: [Xen-devel] [PATCH] qemu_get_timer: always read the 64 bit value from the savefile

[Ian Jackson <Ian.Jackson@xxxxxxxxxxxxx>]

Stefano Stabellini writes ("[Xen-devel] [PATCH] qemu_get_timer: always read the 
64 bit value from the savefile"):
> qemu_get_timer: the 64 bit value needs to be read from the save file
> even when the timer is not initialized otherwise following reads from
> the savefile will read the wrong fields.
> 
> Signed-off-by: Stefano Stabellini <stefano.stabellini@xxxxxxxxxxxxx>

Committed-by: Ian Jackson <ian.jackson@xxxxxxxxxxxxx>

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel