1 #ifndef VEXTERN 2 #include <asm/vsyscall.h> 3 #define VEXTERN(x) \ 4 extern typeof(x) *vdso_ ## x __attribute__((visibility("hidden"))); 5 #endif 6 7 #define VMAGIC 0xfeedbabeabcdefabUL 8 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. */ 13 14 VEXTERN(jiffies) 15 VEXTERN(vgetcpu_mode) 16 VEXTERN(vsyscall_gtod_data) 17