1/* SPDX-License-Identifier: GPL-2.0 */
2/*
3 * Linker script for 64-bit vDSO.
4 * We #include the file to define the layout details.
5 * Here we only choose the prelinked virtual address.
6 *
7 * This file defines the version script giving the user-exported symbols in
8 * the DSO. We can define local symbols here called VDSO* to make their
9 * values visible using the asm-x86/vdso.h macros from the kernel proper.
10 */
11
12#define VDSO_PRELINK 0xffffffffff700000
13#include "vdso-layout.lds.S"
14
15/*
16 * This controls what userland symbols we export from the vDSO.
17 */
18VERSION {
19 LINUX_2.6 {
20 global:
21 clock_gettime;
22 __vdso_clock_gettime;
23 gettimeofday;
24 __vdso_gettimeofday;
25 getcpu;
26 __vdso_getcpu;
27 time;
28 __vdso_time;
29 local: *;
30 };
31}
32
33VDSO64_PRELINK = VDSO_PRELINK;
34

source code of linux/arch/x86/um/vdso/vdso.lds.S