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}