13 lines
454 B
C
13 lines
454 B
C
|
/* 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) *vdso_ ## x = (void *)VMAGIC;
|
||
|
|
#include "vextern.h"
|