USB: Obscure Maxon BP3-USB Device Support 16d8:6280 for option driver
[linux-2.6/s3c2410-cpufreq.git] / arch / x86 / vdso / vvar.c
blob1b7e703684f90ae73eb88855425c3ce907a413e0
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) *const vdso_ ## x = (void *)VMAGIC;
12 #include "vextern.h"