xref: /linux/arch/s390/kernel/vdso32/vdso_user_wrapper.S (revision 8379c1552bbda054885d2e4f3092c36adab717f1)