2 #include <asm/vsyscall.h>
4 extern typeof(x) *vdso_ ## x __attribute__((visibility("hidden")));
7 #define VMAGIC 0xfeedbabeabcdefabUL
9 /* Any kernel variables used in the vDSO must be exported in the main
10 kernel's vmlinux.lds.S/vsyscall.h/proper __section and
11 put into vextern.h and be referenced as a pointer with vdso prefix.
12 The main kernel later fills in the values. */
16 VEXTERN(vsyscall_gtod_data)