linux-stable-rt/arch/ppc64/kernel/vdso32
..
Makefile
cacheflush.S
datapage.S
gettimeofday.S
note.S
sigtramp.S
vdso32.lds.S
vdso32_wrapper.S