1;; SPDX-License-Identifier: GPL-2.0-or-later
2;;  Copyright 2010  Free Software Foundation, Inc.
3;;  Contributed by Bernd Schmidt <bernds@codesourcery.com>.
4;;
5
6#include <linux/linkage.h>
7
8	.text
9
10ENTRY(__c6xabi_push_rts)
11	stw	.d2t2	B14, *B15--[2]
12	stdw	.d2t1	A15:A14, *B15--
13||	b	.s2x	A3
14	stdw	.d2t2	B13:B12, *B15--
15	stdw	.d2t1	A13:A12, *B15--
16	stdw	.d2t2	B11:B10, *B15--
17	stdw	.d2t1	A11:A10, *B15--
18	stdw	.d2t2	B3:B2, *B15--
19ENDPROC(__c6xabi_push_rts)
20