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