linux/lib/vdso
..
getrandom.c
gettimeofday.c
Kconfig
Makefile