From mboxrd@z Thu Jan  1 00:00:00 1970
From: sstabellini@kernel.org (Stefano Stabellini)
Date: Fri, 6 Nov 2015 14:59:37 +0000 (GMT)
Subject: [Xen-devel] [PATCH 3/3] xen/arm: set the system time in Xen via
 the XENPF_settime hypercall
In-Reply-To: <563B95A2.9010304@citrix.com>
References: <alpine.DEB.2.02.1511051706560.13541@kaball.uk.xensource.com>
 <1446743385-12848-3-git-send-email-stefano.stabellini@eu.citrix.com>
 <563B95A2.9010304@citrix.com>
Message-ID: <alpine.DEB.2.02.1511061459000.23825@kaball.uk.xensource.com>
To: linux-arm-kernel@lists.infradead.org
List-Id: linux-arm-kernel.lists.infradead.org

On Thu, 5 Nov 2015, David Vrabel wrote:
> 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?

Not exactly, for the way system_time is set.