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)
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

index 4dfd6d4..75d5968 100644 (file)
@@ -78,6 +78,7 @@ struct pvclock_wall_clock {
        u32   version;
        u32   sec;
        u32   nsec;
+       u32   sec_hi;
 } __attribute__((__packed__));
 #endif