1/* SPDX-License-Identifier: GPL-2.0 */
2/*
3 * Linker script for x32 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_VDSOX32
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		__vdso_clock_gettime;
21		__vdso_gettimeofday;
22		__vdso_getcpu;
23		__vdso_time;
24		__vdso_clock_getres;
25	local: *;
26	};
27}
28