linux-stable-rt/arch/ppc64/kernel/vdso32/vdso32_wrapper.S