1 | /* SPDX-License-Identifier: GPL-2.0 */ |
---|---|
2 | #ifndef __ASM_VDSO_VSYSCALL_H |
3 | #define __ASM_VDSO_VSYSCALL_H |
4 | |
5 | #ifndef __ASSEMBLY__ |
6 | |
7 | #include <linux/hrtimer.h> |
8 | #include <linux/timekeeper_internal.h> |
9 | #include <vdso/datapage.h> |
10 | #include <asm/vgtod.h> |
11 | #include <asm/vvar.h> |
12 | |
13 | DEFINE_VVAR(struct vdso_data, _vdso_data); |
14 | /* |
15 | * Update the vDSO data page to keep in sync with kernel timekeeping. |
16 | */ |
17 | static __always_inline |
18 | struct vdso_data *__x86_get_k_vdso_data(void) |
19 | { |
20 | return _vdso_data; |
21 | } |
22 | #define __arch_get_k_vdso_data __x86_get_k_vdso_data |
23 | |
24 | /* The asm-generic header needs to be included after the definitions above */ |
25 | #include <asm-generic/vdso/vsyscall.h> |
26 | |
27 | #endif /* !__ASSEMBLY__ */ |
28 | |
29 | #endif /* __ASM_VDSO_VSYSCALL_H */ |
30 |