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)