Stefano Stabellini 7d5f6f81dd 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>		2015-12-21 14:40:58 +00:00
..
enlighten.c	xen/arm: set the system time in Xen via the XENPF_settime64 hypercall	2015-12-21 14:40:58 +00:00
grant-table.c
hypercall.S
Makefile
mm.c
p2m.c