18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */ 28c2ecf20Sopenharmony_ci#ifndef _ASM_X86_VGTOD_H 38c2ecf20Sopenharmony_ci#define _ASM_X86_VGTOD_H 48c2ecf20Sopenharmony_ci 58c2ecf20Sopenharmony_ci/* 68c2ecf20Sopenharmony_ci * This check is required to prevent ARCH=um to include 78c2ecf20Sopenharmony_ci * unwanted headers. 88c2ecf20Sopenharmony_ci */ 98c2ecf20Sopenharmony_ci#ifdef CONFIG_GENERIC_GETTIMEOFDAY 108c2ecf20Sopenharmony_ci#include <linux/compiler.h> 118c2ecf20Sopenharmony_ci#include <asm/clocksource.h> 128c2ecf20Sopenharmony_ci#include <vdso/datapage.h> 138c2ecf20Sopenharmony_ci#include <vdso/helpers.h> 148c2ecf20Sopenharmony_ci 158c2ecf20Sopenharmony_ci#include <uapi/linux/time.h> 168c2ecf20Sopenharmony_ci 178c2ecf20Sopenharmony_ci#ifdef BUILD_VDSO32_64 188c2ecf20Sopenharmony_citypedef u64 gtod_long_t; 198c2ecf20Sopenharmony_ci#else 208c2ecf20Sopenharmony_citypedef unsigned long gtod_long_t; 218c2ecf20Sopenharmony_ci#endif 228c2ecf20Sopenharmony_ci#endif /* CONFIG_GENERIC_GETTIMEOFDAY */ 238c2ecf20Sopenharmony_ci 248c2ecf20Sopenharmony_ci#endif /* _ASM_X86_VGTOD_H */ 25