7648b1330c
Signed-off-by: Thomas Gleixner <tglx@linutronix.de> Signed-off-by: Ingo Molnar <mingo@elte.hu>
12 lines
454 B
C
12 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"
|