| Andi Kleen | 2aae950 | 2007-07-21 17:10:01 +0200 | [diff] [blame^] | 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" |