On 05/11/15 17:09, Stefano Stabellini wrote: > If Linux is running as dom0, call XENPF_settime to update the system > time in Xen on pvclock_gtod notifications. Isn't this a cut-and-paste from x86? Can you make it common? David