x86_64: Add vDSO for x86-64 with gettimeofday/clock_gettime/getcpu
[linux-2.6/cjktty.git] / arch / x86_64 / vdso / 
tree92b8bbf83e8915cb8fc71fbd609019cee490ab0f
drwxr-xr-x   ..
-rw-r--r-- 1516 Makefile
-rw-r--r-- 3172 vclock_gettime.c
-rw-r--r-- 291 vdso-note.S
-rw-r--r-- 45 vdso-start.S
-rw-r--r-- 58 vdso.S
-rw-r--r-- 2163 vdso.lds.S
-rw-r--r-- 495 vextern.h
-rw-r--r-- 1418 vgetcpu.c
-rw-r--r-- 3321 vma.c
-rw-r--r-- 31 voffset.h
-rw-r--r-- 454 vvar.c