1 /* Copyright (C) 2007 Free Software Foundation, Inc.
2 This file is part of the GNU C Library.
4 The GNU C Library is free software; you can redistribute it and/or
5 modify it under the terms of the GNU Lesser General Public
6 License as published by the Free Software Foundation; either
7 version 2.1 of the License, or (at your option) any later version.
9 The GNU C Library is distributed in the hope that it will be useful,
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12 Lesser General Public License for more details.
14 You should have received a copy of the GNU Lesser General Public
15 License along with the GNU C Library; if not, write to the Free
16 Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
21 # undef __gettimeofday
22 # undef __clock_gettime
23 # undef __clock_getres
24 # include <bits/libc-vdso.h>
26 void *__vdso_gettimeofday attribute_hidden
;
27 void *__vdso_clock_gettime
;
28 void *__vdso_clock_getres
;
29 void *__vdso_get_tbfreq
;
33 _libc_vdso_platform_setup (void)
35 PREPARE_VERSION (linux2615
, "LINUX_2.6.15", 123718565);
37 __vdso_gettimeofday
= _dl_vdso_vsym ("__kernel_gettimeofday", &linux2615
);
39 __vdso_clock_gettime
= _dl_vdso_vsym ("__kernel_clock_gettime", &linux2615
);
41 __vdso_clock_getres
= _dl_vdso_vsym ("__kernel_clock_getres", &linux2615
);
43 __vdso_get_tbfreq
= _dl_vdso_vsym ("__kernel_vdso_get_tbfreq", &linux2615
);
46 # define VDSO_SETUP _libc_vdso_platform_setup
49 #include "../init-first.c"