VEXTERN 1 arch/x86/vdso/vextern.h #ifndef VEXTERN VEXTERN 14 arch/x86/vdso/vextern.h VEXTERN(jiffies) VEXTERN 15 arch/x86/vdso/vextern.h VEXTERN(vgetcpu_mode) VEXTERN 16 arch/x86/vdso/vextern.h VEXTERN(vsyscall_gtod_data)