x86_64: Add vDSO for x86-64 with gettimeofday/clock_gettime/getcpu
[cascardo/linux.git] / arch / x86_64 / vdso / vdso-start.S
1         .globl vdso_kernel_start
2 vdso_kernel_start: