VDSO_HIGH_BASE     51 arch/x86/vdso/vdso32-setup.c #define VDSO_ADDR_ADJUST	(VDSO_HIGH_BASE - (unsigned long)VDSO32_PRELINK)
VDSO_HIGH_BASE    332 arch/x86/vdso/vdso32-setup.c 		addr = VDSO_HIGH_BASE;
VDSO_HIGH_BASE    422 arch/x86/vdso/vdso32-setup.c 	if (mm && mm->context.vdso == (void *)VDSO_HIGH_BASE)