1/* SPDX-License-Identifier: GPL-2.0-only */
2/*
3 * Copyright (C) 2018 Linaro Ltd <ard.biesheuvel@linaro.org>
4 */
5
6#include <linux/linkage.h>
7
8ENTRY(__efi_rt_asm_wrapper)
9	stp	x29, x30, [sp, #-32]!
10	mov	x29, sp
11
12	/*
13	 * Register x18 is designated as the 'platform' register by the AAPCS,
14	 * which means firmware running at the same exception level as the OS
15	 * (such as UEFI) should never touch it.
16	 */
17	stp	x1, x18, [sp, #16]
18
19	/*
20	 * We are lucky enough that no EFI runtime services take more than
21	 * 5 arguments, so all are passed in registers rather than via the
22	 * stack.
23	 */
24	mov	x8, x0
25	mov	x0, x2
26	mov	x1, x3
27	mov	x2, x4
28	mov	x3, x5
29	mov	x4, x6
30	blr	x8
31
32	ldp	x1, x2, [sp, #16]
33	cmp	x2, x18
34	ldp	x29, x30, [sp], #32
35	b.ne	0f
36	ret
370:	b	efi_handle_corrupted_x18	// tail call
38ENDPROC(__efi_rt_asm_wrapper)
39