1 /* SPDX-License-Identifier: GPL-2.0 */
3 * Copyright (C) 2014 Intel Corporation; author Matt Fleming
5 * Support for invoking 32-bit EFI runtime services from a 64-bit
8 * The below thunking functions are only used after ExitBootServices()
9 * has been called. This simplifies things considerably as compared with
10 * the early EFI thunking because we can leave all the kernel state
11 * intact (GDT, IDT, etc) and simply invoke the the 32-bit EFI runtime
12 * services from __KERNEL32_CS. This means we can continue to service
13 * interrupts across an EFI mixed mode call.
15 * We do however, need to handle the fact that we're running in a full
16 * 64-bit virtual address space. Things like the stack and instruction
17 * addresses need to be accessible by the 32-bit firmware, so we rely on
18 * using the identity mappings in the EFI page table to access the stack
19 * and kernel text (see efi_setup_page_tables()).
22 #include <linux/linkage.h>
23 #include <asm/page_types.h>
24 #include <asm/segment.h>
28 SYM_CODE_START(__efi64_thunk)
33 * Switch to 1:1 mapped 32-bit stack pointer.
36 movq efi_scratch(%rip), %rsp
40 * Calculate the physical address of the kernel text.
42 movq $__START_KERNEL_map, %rax
43 subq phys_base(%rip), %rax
51 movl %ebx, 0x0(%rsp) /* return address */
58 /* Switch to 32-bit descriptor */
60 pushq %rdi /* EFI runtime service address */
63 1: movq 24(%rsp), %rsp
72 SYM_CODE_END(__efi64_thunk)