1b2441318SGreg Kroah-Hartman /* SPDX-License-Identifier: GPL-2.0 */ 21965aae3SH. Peter Anvin #ifndef _ASM_X86_VGTOD_H 31965aae3SH. Peter Anvin #define _ASM_X86_VGTOD_H 4bb898558SAl Viro 51c1a18b0SVincenzo Frascino /* 61c1a18b0SVincenzo Frascino * This check is required to prevent ARCH=um to include 71c1a18b0SVincenzo Frascino * unwanted headers. 81c1a18b0SVincenzo Frascino */ 91c1a18b0SVincenzo Frascino #ifdef CONFIG_GENERIC_GETTIMEOFDAY 107c03156fSStefani Seibold #include <linux/compiler.h> 117ac87074SVincenzo Frascino #include <asm/clocksource.h> 127ac87074SVincenzo Frascino #include <vdso/datapage.h> 137ac87074SVincenzo Frascino #include <vdso/helpers.h> 14bb898558SAl Viro 1549116f20SThomas Gleixner #include <uapi/linux/time.h> 1649116f20SThomas Gleixner 177c03156fSStefani Seibold #ifdef BUILD_VDSO32_64 187c03156fSStefani Seibold typedef u64 gtod_long_t; 197c03156fSStefani Seibold #else 207c03156fSStefani Seibold typedef unsigned long gtod_long_t; 217c03156fSStefani Seibold #endif 221c1a18b0SVincenzo Frascino #endif /* CONFIG_GENERIC_GETTIMEOFDAY */ 2349116f20SThomas Gleixner 241965aae3SH. Peter Anvin #endif /* _ASM_X86_VGTOD_H */ 25