[PATCH v3 6/6] xen/arm: set the system time in Xen via the XENPF_settime64 hypercall

[Arnd Bergmann]

On Wednesday 11 November 2015 16:51:36 Stefano Stabellini wrote:
> If Linux is running as dom0, call XENPF_settime64 to update the system
> time in Xen on pvclock_gtod notifications.
> 
> Signed-off-by: Stefano Stabellini <stefano.stabellini at eu.citrix.com>
> 

Acked-by: Arnd Bergmann <arnd at arndb.de>