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 *
6 * This file defines the version script giving the user-exported symbols in
7 * the DSO.
8 */
9
10#define BUILD_VDSO64
11
12#include "vdso-layout.lds.S"
13
14/*
15 * This controls what userland symbols we export from the vDSO.
16 */
17VERSION {
18 LINUX_2.6 {
19 global:
20 clock_gettime;
21 __vdso_clock_gettime;
22 gettimeofday;
23 __vdso_gettimeofday;
24 getcpu;
25 __vdso_getcpu;
26 time;
27 __vdso_time;
28 clock_getres;
29 __vdso_clock_getres;
30#ifdef CONFIG_X86_SGX
31 __vdso_sgx_enter_enclave;
32#endif
33 local: *;
34 };
35}
36

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