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