xref: /linux/arch/s390/kernel/vdso64/vdso_user_wrapper.S (revision 80f06306240e0ad1c75116111be11950474dfda7)