x86_64: Add vDSO for x86-64 with gettimeofday/clock_gettime/getcpu
[linux-2.6/cjktty.git] / arch / x86_64 / vdso / vvar.c
blob6fc22219a47249bfd8b9f13698103d4efd0eb7c9
1 /* Define pointer to external vDSO variables.
2 These are part of the vDSO. The kernel fills in the real addresses
3 at boot time. This is done because when the vdso is linked the
4 kernel isn't yet and we don't know the final addresses. */
5 #include <linux/kernel.h>
6 #include <linux/time.h>
7 #include <asm/vsyscall.h>
8 #include <asm/timex.h>
9 #include <asm/vgtod.h>
11 #define VEXTERN(x) typeof (__ ## x) *vdso_ ## x = (void *)VMAGIC;
12 #include "vextern.h"