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.
24  * name and version from other architectures, so we need to handle it as
28 const char *version = "LINUX_2.6.39";  variable
29 const char *name = "__kernel_gettimeofday";  variable
31 const char *version = "LINUX_4.15";  variable
32 const char *name = "__vdso_gettimeofday";  variable
34 const char *version = "LINUX_2.6";  variable
35 const char *name = "__vdso_gettimeofday";  variable
50 	gtod_t gtod = (gtod_t)vdso_sym(version, name);  in main()
53 		printf("Could not find %s\n", name);  in main()
64 		printf("%s failed\n", name);  in main()