/arch/x86/vdso/