tree 9fe24d8c431a63a5626c4821abe6ef350457a8c9
parent f3d6027ee0568b5442077120beeb5d9d17c2d0da
author Stefano Stabellini <stefano.stabellini@eu.citrix.com> 1448275152 +0000
committer David Vrabel <david.vrabel@citrix.com> 1450708857 +0000

arm: extend pvclock_wall_clock with sec_hi

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@eu.citrix.com>
Reviewed-by: Julien Grall <julien.grall@citrix.com>