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 getrandom; 34 __vdso_getrandom; 35 local: *; 36 }; 37} 38