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/vdso.h> 1162306a36Sopenharmony_ci/* 1262306a36Sopenharmony_ci * Update the vDSO data page to keep in sync with kernel timekeeping. 1362306a36Sopenharmony_ci */ 1462306a36Sopenharmony_ci 1562306a36Sopenharmony_cistatic __always_inline struct vdso_data *__s390_get_k_vdso_data(void) 1662306a36Sopenharmony_ci{ 1762306a36Sopenharmony_ci return vdso_data; 1862306a36Sopenharmony_ci} 1962306a36Sopenharmony_ci#define __arch_get_k_vdso_data __s390_get_k_vdso_data 2062306a36Sopenharmony_ci 2162306a36Sopenharmony_ci/* The asm-generic header needs to be included after the definitions above */ 2262306a36Sopenharmony_ci#include <asm-generic/vdso/vsyscall.h> 2362306a36Sopenharmony_ci 2462306a36Sopenharmony_ci#endif /* !__ASSEMBLY__ */ 2562306a36Sopenharmony_ci 2662306a36Sopenharmony_ci#endif /* __ASM_VDSO_VSYSCALL_H */ 27