Xen added this in 2015 (Xen 4.6). On x86_64 and Arm it fills what was
previously a 32-bit hole in the generic shared_info structure; on
i386 it had to go at the end of struct arch_shared_info.
Signed-off-by: David Woodhouse <dwmw@amazon.co.uk>
        unsigned long p2m_cr3;          /* cr3 value of the p2m address space */
        unsigned long p2m_vaddr;        /* virtual address of the p2m list */
        unsigned long p2m_generation;   /* generation count of p2m mapping */
+#ifdef CONFIG_X86_32
+       uint32_t wc_sec_hi;
+#endif
 };
 #endif /* !__ASSEMBLY__ */
 
 
         * their gettimeofday() syscall on this wallclock-base value.
         */
        struct pvclock_wall_clock wc;
-
+#ifndef CONFIG_X86_32
+       uint32_t wc_sec_hi;
+#endif
        struct arch_shared_info arch;
 
 };