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 | */ |
17 | VERSION { |
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 | |