- /* Define pointer to external vDSO variables.
- These are part of the vDSO. The kernel fills in the real addresses
- at boot time. This is done because when the vdso is linked the
- kernel isn't yet and we don't know the final addresses. */
- #include <linux/kernel.h>
- #include <linux/time.h>
- #include <asm/vsyscall.h>
- #include <asm/timex.h>
- #include <asm/vgtod.h>
- #define VEXTERN(x) typeof (__ ## x) *const vdso_ ## x = (void *)VMAGIC;
- #include "vextern.h"
|
