arch/x86/include/asm/vgtod.h

   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 */