forked from Minki/linux
17 lines
495 B
C
17 lines
495 B
C
|
#ifndef VEXTERN
|
||
|
#include <asm/vsyscall.h>
|
||
|
#define VEXTERN(x) \
|
||
|
extern typeof(x) *vdso_ ## x __attribute__((visibility("hidden")));
|
||
|
#endif
|
||
|
|
||
|
#define VMAGIC 0xfeedbabeabcdefabUL
|
||
|
|
||
|
/* Any kernel variables used in the vDSO must be exported in the main
|
||
|
kernel's vmlinux.lds.S/vsyscall.h/proper __section and
|
||
|
put into vextern.h and be referenced as a pointer with vdso prefix.
|
||
|
The main kernel later fills in the values. */
|
||
|
|
||
|
VEXTERN(jiffies)
|
||
|
VEXTERN(vgetcpu_mode)
|
||
|
VEXTERN(vsyscall_gtod_data)
|