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 14VEXTERN(jiffies) 15VEXTERN(vgetcpu_mode) 16VEXTERN(vsyscall_gtod_data) 17