x86_64: prepare shared kernel/head.S
[linux-2.6] / arch / x86_64 / vdso / vvar.c
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>
10
11 #define VEXTERN(x) typeof (__ ## x) *vdso_ ## x = (void *)VMAGIC;
12 #include "vextern.h"