|  * vdso_test.c: Sample code to test parse_vdso.c | 
 |  * Copyright (c) 2014 Andy Lutomirski | 
 |  * Subject to the GNU General Public License, version 2 | 
 |  * gcc -std=gnu99 vdso_test.c parse_vdso.c | 
 |  * Tested on x86, 32-bit and 64-bit.  It may work on other architectures, too. | 
 | extern void *vdso_sym(const char *version, const char *name); | 
 | extern void vdso_init_from_sysinfo_ehdr(uintptr_t base); | 
 | extern void vdso_init_from_auxv(void *auxv); | 
 | int main(int argc, char **argv) | 
 | 	unsigned long sysinfo_ehdr = getauxval(AT_SYSINFO_EHDR); | 
 | 		printf("AT_SYSINFO_EHDR is not present!\n"); | 
 | 	vdso_init_from_sysinfo_ehdr(getauxval(AT_SYSINFO_EHDR)); | 
 | 	typedef long (*gtod_t)(struct timeval *tv, struct timezone *tz); | 
 | 	gtod_t gtod = (gtod_t)vdso_sym("LINUX_2.6", "__vdso_gettimeofday"); | 
 | 		printf("Could not find __vdso_gettimeofday\n"); | 
 | 		printf("The time is %lld.%06lld\n", | 
 | 		       (long long)tv.tv_sec, (long long)tv.tv_usec); | 
 | 		printf("__vdso_gettimeofday failed\n"); |