1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ASM_X86_VDSO_H
3 #define _ASM_X86_VDSO_H
5 #include <asm/page_types.h>
6 #include <linux/linkage.h>
7 #include <linux/init.h>
11 #include <linux/mm_types.h>
15 unsigned long size
; /* Always a multiple of PAGE_SIZE */
17 unsigned long alt
, alt_len
;
19 long sym_vvar_start
; /* Negative offset to the vvar area */
23 long sym_pvclock_page
;
24 long sym_hvclock_page
;
25 long sym_VDSO32_NOTE_MASK
;
26 long sym___kernel_sigreturn
;
27 long sym___kernel_rt_sigreturn
;
28 long sym___kernel_vsyscall
;
29 long sym_int80_landing_pad
;
33 extern const struct vdso_image vdso_image_64
;
37 extern const struct vdso_image vdso_image_x32
;
40 #if defined CONFIG_X86_32 || defined CONFIG_COMPAT
41 extern const struct vdso_image vdso_image_32
;
44 extern void __init
init_vdso_image(const struct vdso_image
*image
);
46 extern int map_vdso_once(const struct vdso_image
*image
, unsigned long addr
);
48 #endif /* __ASSEMBLER__ */
50 #endif /* _ASM_X86_VDSO_H */