linux-stable-rt/arch/ppc64/kernel/vdso64/vdso64_wrapper.S