Subject: [Xen-devel] [PATCH 3/3] xen/arm: set the system time in Xen via the XENPF_settime hypercall

From: [email-masked] (David Vrabel)
Date: Thu, 5 Nov 2015 17:45:06 +0000

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