| /* | 
 |  * Linker script for 64-bit vDSO. | 
 |  * We #include the file to define the layout details. | 
 |  * Here we only choose the prelinked virtual address. | 
 |  * | 
 |  * This file defines the version script giving the user-exported symbols in | 
 |  * the DSO.  We can define local symbols here called VDSO* to make their | 
 |  * values visible using the asm-x86/vdso.h macros from the kernel proper. | 
 |  */ | 
 |  | 
 | #define VDSO_PRELINK 0xffffffffff700000 | 
 | #include "vdso-layout.lds.S" | 
 |  | 
 | /* | 
 |  * This controls what userland symbols we export from the vDSO. | 
 |  */ | 
 | VERSION { | 
 | 	LINUX_2.6 { | 
 | 	global: | 
 | 		clock_gettime; | 
 | 		__vdso_clock_gettime; | 
 | 		gettimeofday; | 
 | 		__vdso_gettimeofday; | 
 | 		getcpu; | 
 | 		__vdso_getcpu; | 
 | 		time; | 
 | 		__vdso_time; | 
 | 	local: *; | 
 | 	}; | 
 | } | 
 |  | 
 | VDSO64_PRELINK = VDSO_PRELINK; |