BUILD_VDSO32_64    36 arch/x86/entry/vdso/vclock_gettime.c #if defined(CONFIG_X86_64) && !defined(BUILD_VDSO32_64)
BUILD_VDSO32_64    12 arch/x86/include/asm/vgtod.h #ifdef BUILD_VDSO32_64
BUILD_VDSO32_64    35 include/linux/page-flags-layout.h #ifndef BUILD_VDSO32_64