linux/arch/tile/kernel/vdso
..
Makefile
vdso.lds.S
vdso.S
vdso32.S
vgettimeofday.c
vrt_sigreturn.S