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