xref: /linux/arch/s390/kernel/vdso32/vdso_user_wrapper.S (revision 41fd3cacd29f47f6b9c6474b27c5b0513786c4e9)