/*
   * 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;