You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
12 lines
460 B
12 lines
460 B
/* 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"
|
|
|