1#include <asm/segment.h>
 2#include <asm/msr.h>
 3#include <asm/processor-flags.h>
 4
 5#include "../../platform/efi/efi_stub_64.S"
 6
 7#ifdef CONFIG_EFI_MIXED
 8	.code64
 9	.text
10ENTRY(efi64_thunk)
11	push	%rbp
12	push	%rbx
13
14	subq	$16, %rsp
15	leaq	efi_exit32(%rip), %rax
16	movl	%eax, 8(%rsp)
17	leaq	efi_gdt64(%rip), %rax
18	movl	%eax, 4(%rsp)
19	movl	%eax, 2(%rax)		/* Fixup the gdt base address */
20	leaq	efi32_boot_gdt(%rip), %rax
21	movl	%eax, (%rsp)
22
23	call	__efi64_thunk
24
25	addq	$16, %rsp
26	pop	%rbx
27	pop	%rbp
28	ret
29ENDPROC(efi64_thunk)
30#endif /* CONFIG_EFI_MIXED */