VDSO_RANDOMIZE_SIZE  667 arch/mips/kernel/process.c 		top -= VDSO_RANDOMIZE_SIZE;
VDSO_RANDOMIZE_SIZE   80 arch/mips/kernel/vdso.c 		base += get_random_int() & (VDSO_RANDOMIZE_SIZE - 1);