1 // SPDX-License-Identifier: GPL-2.0-only
3 * vdso_test_gettimeofday.c: Sample code to test parse_vdso.c and
5 * Copyright (c) 2014 Andy Lutomirski
8 * gcc -std=gnu99 vdso_test_gettimeofday.c parse_vdso_gettimeofday.c
10 * Tested on x86, 32-bit and 64-bit. It may work on other architectures, too.
19 #include "../kselftest.h"
20 #include "parse_vdso.h"
21 #include "vdso_config.h"
23 int main(int argc, char **argv)
25 const char *version = versions[VDSO_VERSION];
26 const char **name = (const char **)&names[VDSO_NAMES];
28 unsigned long sysinfo_ehdr = getauxval(AT_SYSINFO_EHDR);
30 printf("AT_SYSINFO_EHDR is not present!\n");
34 vdso_init_from_sysinfo_ehdr(getauxval(AT_SYSINFO_EHDR));
36 /* Find gettimeofday. */
37 typedef long (*gtod_t)(struct timeval *tv, struct timezone *tz);
38 gtod_t gtod = (gtod_t)vdso_sym(version, name[0]);
41 printf("Could not find %s\n", name[0]);
46 long ret = gtod(&tv, 0);
49 printf("The time is %lld.%06lld\n",
50 (long long)tv.tv_sec, (long long)tv.tv_usec);
52 printf("%s failed\n", name[0]);