xref: /linux/arch/s390/kernel/vdso64/vdso_user_wrapper.S (revision 9009b455811b0fa1f6b0adfa94db136984db5a38)