162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */
262306a36Sopenharmony_ci#ifndef __ASM_VDSO_VSYSCALL_H
362306a36Sopenharmony_ci#define __ASM_VDSO_VSYSCALL_H
462306a36Sopenharmony_ci
562306a36Sopenharmony_ci#ifndef __ASSEMBLY__
662306a36Sopenharmony_ci
762306a36Sopenharmony_ci#include <linux/hrtimer.h>
862306a36Sopenharmony_ci#include <linux/timekeeper_internal.h>
962306a36Sopenharmony_ci#include <vdso/datapage.h>
1062306a36Sopenharmony_ci#include <asm/vgtod.h>
1162306a36Sopenharmony_ci#include <asm/vvar.h>
1262306a36Sopenharmony_ci
1362306a36Sopenharmony_ciDEFINE_VVAR(struct vdso_data, _vdso_data);
1462306a36Sopenharmony_ci/*
1562306a36Sopenharmony_ci * Update the vDSO data page to keep in sync with kernel timekeeping.
1662306a36Sopenharmony_ci */
1762306a36Sopenharmony_cistatic __always_inline
1862306a36Sopenharmony_cistruct vdso_data *__x86_get_k_vdso_data(void)
1962306a36Sopenharmony_ci{
2062306a36Sopenharmony_ci	return _vdso_data;
2162306a36Sopenharmony_ci}
2262306a36Sopenharmony_ci#define __arch_get_k_vdso_data __x86_get_k_vdso_data
2362306a36Sopenharmony_ci
2462306a36Sopenharmony_ci/* The asm-generic header needs to be included after the definitions above */
2562306a36Sopenharmony_ci#include <asm-generic/vdso/vsyscall.h>
2662306a36Sopenharmony_ci
2762306a36Sopenharmony_ci#endif /* !__ASSEMBLY__ */
2862306a36Sopenharmony_ci
2962306a36Sopenharmony_ci#endif /* __ASM_VDSO_VSYSCALL_H */
30