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>
11 #define VEXTERN(x) typeof (__ ## x) *vdso_ ## x = (void *)VMAGIC;