1 /* gettimeofday -- Get the current time of day.  Linux/Alpha/tv64 version.
2    Copyright (C) 2019-2022 Free Software Foundation, Inc.
3    This file is part of the GNU C Library.
4 
5    The GNU C Library is free software; you can redistribute it and/or
6    modify it under the terms of the GNU Lesser General Public
7    License as published by the Free Software Foundation; either
8    version 2.1 of the License, or (at your option) any later version.
9 
10    The GNU C Library is distributed in the hope that it will be useful,
11    but WITHOUT ANY WARRANTY; without even the implied warranty of
12    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
13    Lesser General Public License for more details.
14 
15    You should have received a copy of the GNU Lesser General Public
16    License along with the GNU C Library; if not, see
17    <https://www.gnu.org/licenses/>.  */
18 
19 /* We can use the generic implementation, but we have to override its
20    default symbol version.  */
21 #define SET_VERSION
22 #include <time/gettimeofday.c>
23 
24 weak_alias (___gettimeofday, __wgettimeofday);
25 default_symbol_version (___gettimeofday, __gettimeofday, GLIBC_2.1);
26 default_symbol_version (__wgettimeofday,   gettimeofday, GLIBC_2.1);
27