1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef __ASM_VDSO_VSYSCALL_H
3 #define __ASM_VDSO_VSYSCALL_H
4 
5 #define __VDSO_PAGES	6
6 
7 #define VDSO_NR_VCLOCK_PAGES	2
8 #define VDSO_VCLOCK_PAGES_START(_b)	((_b) + (__VDSO_PAGES - VDSO_NR_VCLOCK_PAGES) * PAGE_SIZE)
9 #define VDSO_PAGE_PVCLOCK_OFFSET	0
10 #define VDSO_PAGE_HVCLOCK_OFFSET	1
11 
12 #ifndef __ASSEMBLER__
13 
14 #include <vdso/datapage.h>
15 #include <asm/vgtod.h>
16 
17 /* The asm-generic header needs to be included after the definitions above */
18 #include <asm-generic/vdso/vsyscall.h>
19 
20 #endif /* !__ASSEMBLER__ */
21 
22 #endif /* __ASM_VDSO_VSYSCALL_H */
23