arm: extend pvclock_wall_clock with sec_hi
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Mon, 23 Nov 2015 10:39:12 +0000 (10:39 +0000)
committerDavid Vrabel <david.vrabel@citrix.com>
Mon, 21 Dec 2015 14:40:57 +0000 (14:40 +0000)
commitab76078a3d43226288fa43489b76b1416975705f
tree9fe24d8c431a63a5626c4821abe6ef350457a8c9
parentf3d6027ee0568b5442077120beeb5d9d17c2d0da
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>
arch/arm/include/asm/xen/interface.h