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) *const vdso_ ## x = (void *)VMAGIC; 12#include "vextern.h" 13