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, see
16 <http://www.gnu.org/licenses/>. */
20 # undef __gettimeofday
21 # undef __clock_gettime
22 # undef __clock_getres
23 # include <bits/libc-vdso.h>
25 void *__vdso_gettimeofday attribute_hidden
;
26 void *__vdso_clock_gettime
;
27 void *__vdso_clock_getres
;
28 void *__vdso_get_tbfreq
;
32 _libc_vdso_platform_setup (void)
34 PREPARE_VERSION (linux2615
, "LINUX_2.6.15", 123718565);
36 __vdso_gettimeofday
= _dl_vdso_vsym ("__kernel_gettimeofday", &linux2615
);
38 __vdso_clock_gettime
= _dl_vdso_vsym ("__kernel_clock_gettime", &linux2615
);
40 __vdso_clock_getres
= _dl_vdso_vsym ("__kernel_clock_getres", &linux2615
);
42 __vdso_get_tbfreq
= _dl_vdso_vsym ("__kernel_vdso_get_tbfreq", &linux2615
);
45 # define VDSO_SETUP _libc_vdso_platform_setup
48 #include "../init-first.c"