On 09/11/15 12:32, [email protected] wrote:
From: Stefano Stabellini <[email protected]>
Call update_domain_wallclock_time at domain initialization, specifically
in arch_set_info_guest for vcpu0, like we do on x86.
Set time_offset_seconds to the number of seconds between phisical boot
and domain initialization: it is going to be used to get/set the
wallclock time.
Add time_offset_seconds to system_time when before calling do_settime,
so that system_time actually accounts for all the time in nsec between
machine boot and when the wallclock was set.
Signed-off-by: Stefano Stabellini <[email protected]>
Acked-by: [email protected]
_______________________________________________
Xen-devel mailing list
[email protected]
http://lists.xen.org/xen-devel
