xref: /linux/arch/s390/kernel/vdso64/vdso_user_wrapper.S (revision 808094fcbf4196be0feb17afbbdc182ec95c8cec)