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

[Julien Grall]

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 <stefano.stabellini at eu.citrix.com>

Reviewed-by: Julien Grall <julien.grall at citrix.com>

Regards,

-- 
Julien Grall