linux/arch/arm/vdso/