18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */
28c2ecf20Sopenharmony_ci#ifndef __ASM_VDSO_VSYSCALL_H
38c2ecf20Sopenharmony_ci#define __ASM_VDSO_VSYSCALL_H
48c2ecf20Sopenharmony_ci
58c2ecf20Sopenharmony_ci#ifndef __ASSEMBLY__
68c2ecf20Sopenharmony_ci
78c2ecf20Sopenharmony_ci#include <linux/timekeeper_internal.h>
88c2ecf20Sopenharmony_ci#include <vdso/datapage.h>
98c2ecf20Sopenharmony_ci#include <asm/cacheflush.h>
108c2ecf20Sopenharmony_ci
118c2ecf20Sopenharmony_ciextern struct vdso_data *vdso_data;
128c2ecf20Sopenharmony_ciextern bool cntvct_ok;
138c2ecf20Sopenharmony_ci
148c2ecf20Sopenharmony_ci/*
158c2ecf20Sopenharmony_ci * Update the vDSO data page to keep in sync with kernel timekeeping.
168c2ecf20Sopenharmony_ci */
178c2ecf20Sopenharmony_cistatic __always_inline
188c2ecf20Sopenharmony_cistruct vdso_data *__arm_get_k_vdso_data(void)
198c2ecf20Sopenharmony_ci{
208c2ecf20Sopenharmony_ci	return vdso_data;
218c2ecf20Sopenharmony_ci}
228c2ecf20Sopenharmony_ci#define __arch_get_k_vdso_data __arm_get_k_vdso_data
238c2ecf20Sopenharmony_ci
248c2ecf20Sopenharmony_cistatic __always_inline
258c2ecf20Sopenharmony_civoid __arm_sync_vdso_data(struct vdso_data *vdata)
268c2ecf20Sopenharmony_ci{
278c2ecf20Sopenharmony_ci	flush_dcache_page(virt_to_page(vdata));
288c2ecf20Sopenharmony_ci}
298c2ecf20Sopenharmony_ci#define __arch_sync_vdso_data __arm_sync_vdso_data
308c2ecf20Sopenharmony_ci
318c2ecf20Sopenharmony_ci/* The asm-generic header needs to be included after the definitions above */
328c2ecf20Sopenharmony_ci#include <asm-generic/vdso/vsyscall.h>
338c2ecf20Sopenharmony_ci
348c2ecf20Sopenharmony_ci#endif /* !__ASSEMBLY__ */
358c2ecf20Sopenharmony_ci
368c2ecf20Sopenharmony_ci#endif /* __ASM_VDSO_VSYSCALL_H */
37