1 /* SPDX-License-Identifier: GPL-2.0-only */
5 * Copyright (C) 2013, 2014 Red Hat, Inc.
6 * Author: Mark Salter <msalter@redhat.com>
8 #include <linux/linkage.h>
9 #include <linux/init.h>
11 #include <asm/assembler.h>
13 #define EFI_LOAD_ERROR 0x8000000000000001
18 * We arrive here from the EFI boot manager with:
20 * * CPU in little-endian mode
21 * * MMU on with identity-mapped RAM
22 * * Icache and Dcache on
24 * We will most likely be running from some place other than where
25 * we want to be. The kernel image wants to be placed at TEXT_OFFSET
30 * Create a stack frame to save FP/LR with extra space
31 * for image_addr variable passed to efi_entry().
33 stp x29, x30, [sp, #-32]!
37 * Call efi_entry to do the real work.
38 * x0 and x1 are already set up by firmware. Current runtime
39 * address of image is calculated and passed via *image_addr.
41 * unsigned long efi_entry(void *handle,
42 * efi_system_table_t *sys_table,
43 * unsigned long *image_addr) ;
53 * efi_entry() will have copied the kernel image if necessary and we
54 * return here with device tree address in x0 and the kernel entry
55 * point stored at *image_addr. Save those values in registers which
56 * are callee preserved.
58 mov x20, x0 // DTB address
59 ldr x0, [sp, #16] // relocated _text address
60 ldr w21, =stext_offset
64 * Calculate size of the kernel Image (same for original and copy).
71 * Flush the copied Image to the PoC, and ensure it is not shadowed by
72 * stale icache entries from before relocation.
74 bl __flush_dcache_area
78 * Ensure that the rest of this function (in the original Image) is
79 * visible when the caches are disabled. The I-cache can't have stale
80 * entries for the VA range of the current image, so no maintenance is
86 bl __flush_dcache_area
88 /* Turn off Dcache and MMU */
90 cmp x0, #CurrentEL_EL2
93 bic x0, x0, #1 << 0 // clear SCTLR.M
94 bic x0, x0, #1 << 2 // clear SCTLR.C
95 pre_disable_mmu_workaround
101 bic x0, x0, #1 << 0 // clear SCTLR.M
102 bic x0, x0, #1 << 2 // clear SCTLR.C
103 pre_disable_mmu_workaround
107 /* Jump to kernel entry point */
115 mov x0, #EFI_LOAD_ERROR
116 ldp x29, x30, [sp], #32