Subject: [Xen-devel] [PATCH v4 4/7] arm: extend pvclock_wall_clock with sec_hi

From: [email-masked] (Julien Grall)
Date: Fri, 13 Nov 2015 13:43:07 +0000

Hi Stefano,

On 12/11/15 17:30, Stefano Stabellini wrote:
> The hypervisor actually exposes an additional field to struct
> pvclock_wall_clock, with the high 32 bit seconds.
> 
> Signed-off-by: Stefano Stabellini <[email-masked]>

Reviewed-by: Julien Grall <[email-masked]>

Regards,

-- 
Julien Grall