1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef _ASM_X86_VGTOD_H 3 #define _ASM_X86_VGTOD_H 4 5 /* 6 * This check is required to prevent ARCH=um to include 7 * unwanted headers. 8 */ 9 #ifdef CONFIG_GENERIC_GETTIMEOFDAY 10 #include <linux/compiler.h> 11 #include <asm/clocksource.h> 12 #include <vdso/datapage.h> 13 #include <vdso/helpers.h> 14 15 #include <uapi/linux/time.h> 16 17 #ifdef BUILD_VDSO32_64 18 typedef u64 gtod_long_t; 19 #else 20 typedef unsigned long gtod_long_t; 21 #endif 22 #endif /* CONFIG_GENERIC_GETTIMEOFDAY */ 23 24 #endif /* _ASM_X86_VGTOD_H */ 25