Hi Stefano, On 12/11/15 17:46, Stefano Stabellini wrote: > Call update_domain_wallclock_time at domain initialization. > Set time_offset_seconds to the number of seconds between physical 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. > > Expose xsm_platform_op to ARM. > > Signed-off-by: Stefano Stabellini <stefano.stabell...@eu.citrix.com>
Reviewed-by: Julien Grall <julien.gr...@citrix.com> Regards, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
