2007-08-12 19:03:54 +00:00
|
|
|
/* Copyright (C) 2007 Free Software Foundation, Inc.
|
2005-12-30 07:32:48 +00:00
|
|
|
This file is part of the GNU C Library.
|
|
|
|
|
|
|
|
The GNU C Library is free software; you can redistribute it and/or
|
|
|
|
modify it under the terms of the GNU Lesser General Public
|
|
|
|
License as published by the Free Software Foundation; either
|
|
|
|
version 2.1 of the License, or (at your option) any later version.
|
|
|
|
|
|
|
|
The GNU C Library is distributed in the hope that it will be useful,
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
|
|
Lesser General Public License for more details.
|
|
|
|
|
|
|
|
You should have received a copy of the GNU Lesser General Public
|
|
|
|
License along with the GNU C Library; if not, write to the Free
|
|
|
|
Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
|
|
|
|
02111-1307 USA. */
|
|
|
|
|
2007-08-12 19:03:54 +00:00
|
|
|
#ifdef SHARED
|
|
|
|
# include <dl-vdso.h>
|
|
|
|
# include <bits/libc-vdso.h>
|
2005-12-30 07:32:48 +00:00
|
|
|
|
2007-12-15 01:12:13 +00:00
|
|
|
long int (*__vdso_gettimeofday) (struct timeval *, void *) attribute_hidden;
|
2005-12-30 07:32:48 +00:00
|
|
|
|
2007-12-15 01:12:13 +00:00
|
|
|
long int (*__vdso_clock_gettime) (clockid_t, struct timespec *)
|
2007-08-24 18:24:03 +00:00
|
|
|
__attribute__ ((nocommon));
|
|
|
|
strong_alias (__vdso_clock_gettime, __GI___vdso_clock_gettime attribute_hidden)
|
2007-08-12 19:03:54 +00:00
|
|
|
|
|
|
|
|
|
|
|
static inline void
|
|
|
|
_libc_vdso_platform_setup (void)
|
|
|
|
{
|
2007-08-12 19:33:45 +00:00
|
|
|
PREPARE_VERSION (linux26, "LINUX_2.6", 61765110);
|
2007-08-12 19:03:54 +00:00
|
|
|
|
2007-08-13 00:23:59 +00:00
|
|
|
void *p = _dl_vdso_vsym ("gettimeofday", &linux26);
|
2007-08-13 18:47:42 +00:00
|
|
|
/* If the vDSO is not available we fall back on the old vsyscall. */
|
|
|
|
#define VSYSCALL_ADDR_vgettimeofday 0xffffffffff600000ul
|
|
|
|
if (p == NULL)
|
|
|
|
p = (void *) VSYSCALL_ADDR_vgettimeofday;
|
2007-08-13 00:23:59 +00:00
|
|
|
PTR_MANGLE (p);
|
|
|
|
__vdso_gettimeofday = p;
|
2007-08-12 19:33:45 +00:00
|
|
|
|
2007-08-13 00:23:59 +00:00
|
|
|
p = _dl_vdso_vsym ("clock_gettime", &linux26);
|
|
|
|
PTR_MANGLE (p);
|
2007-08-24 18:24:03 +00:00
|
|
|
__GI___vdso_clock_gettime = p;
|
2007-08-12 19:03:54 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
# define VDSO_SETUP _libc_vdso_platform_setup
|
|
|
|
#endif
|
|
|
|
|
2007-08-20 22:36:43 +00:00
|
|
|
#include "../init-first.c"
|