1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _ASM_X86_VDSO_H
3#define _ASM_X86_VDSO_H
4
5#include <asm/page_types.h>
6#include <linux/linkage.h>
7#include <linux/init.h>
8
9#ifndef __ASSEMBLER__
10
11#include <linux/mm_types.h>
12
13struct vdso_image {
14 void *data;
15 unsigned long size; /* Always a multiple of PAGE_SIZE */
16
17 unsigned long alt, alt_len;
18 unsigned long extable_base, extable_len;
19 const void *extable;
20
21 long sym_VDSO32_NOTE_MASK;
22 long sym___kernel_sigreturn;
23 long sym___kernel_rt_sigreturn;
24 long sym___kernel_vsyscall;
25 long sym_int80_landing_pad;
26 long sym_vdso32_sigreturn_landing_pad;
27 long sym_vdso32_rt_sigreturn_landing_pad;
28};
29
30extern const struct vdso_image vdso_image_64;
31extern const struct vdso_image vdso_image_x32;
32extern const struct vdso_image vdso_image_32;
33
34extern int __init init_vdso_image(const struct vdso_image *image);
35
36extern int map_vdso_once(const struct vdso_image *image, unsigned long addr);
37
38extern bool fixup_vdso_exception(struct pt_regs *regs, int trapnr,
39 unsigned long error_code,
40 unsigned long fault_addr);
41#endif /* __ASSEMBLER__ */
42
43#endif /* _ASM_X86_VDSO_H */
44