1184610Salfred/* SPDX-License-Identifier: GPL-2.0 */
2184610Salfred#ifndef __ASM_VDSO_VSYSCALL_H
3184610Salfred#define __ASM_VDSO_VSYSCALL_H
4184610Salfred
5184610Salfred#ifndef __ASSEMBLY__
6184610Salfred
7184610Salfred#include <linux/timekeeper_internal.h>
8184610Salfred#include <vdso/datapage.h>
9184610Salfred
10184610Salfredextern struct vdso_data *vdso_data;
11184610Salfred
12184610Salfred/*
13184610Salfred * Update the vDSO data page to keep in sync with kernel timekeeping.
14184610Salfred */
15184610Salfredstatic __always_inline
16184610Salfredstruct vdso_data *__mips_get_k_vdso_data(void)
17184610Salfred{
18184610Salfred	return vdso_data;
19184610Salfred}
20184610Salfred#define __arch_get_k_vdso_data __mips_get_k_vdso_data
21184610Salfred
22184610Salfred/* The asm-generic header needs to be included after the definitions above */
23184610Salfred#include <asm-generic/vdso/vsyscall.h>
24184610Salfred
25184610Salfred#endif /* !__ASSEMBLY__ */
26184610Salfred
27184610Salfred#endif /* __ASM_VDSO_VSYSCALL_H */
28184610Salfred