xen/arm: set the system time in Xen via the XENPF_settime64 hypercall
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Mon, 23 Nov 2015 10:41:12 +0000 (10:41 +0000)
committerDavid Vrabel <david.vrabel@citrix.com>
Mon, 21 Dec 2015 14:40:58 +0000 (14:40 +0000)
commit7d5f6f81ddbb5b532a832cbeb65472541b22a7c2
treea9a8e39e26c595f011f35675cd2a7f36e99324ee
parente709fba132db696bbc21fca2e7f736198ec53eda
xen/arm: set the system time in Xen via the XENPF_settime64 hypercall

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@eu.citrix.com>
Acked-by: Arnd Bergmann <arnd@arndb.de>
arch/arm/xen/enlighten.c