2 * Low-level CPU initialisation
3 * Based on arch/arm/kernel/head.S
5 * Copyright (C) 1994-2002 Russell King
6 * Copyright (C) 2003-2012 ARM Ltd.
7 * Authors: Catalin Marinas <catalin.marinas@arm.com>
8 * Will Deacon <will.deacon@arm.com>
10 * This program is free software; you can redistribute it and/or modify
11 * it under the terms of the GNU General Public License version 2 as
12 * published by the Free Software Foundation.
14 * This program is distributed in the hope that it will be useful,
15 * but WITHOUT ANY WARRANTY; without even the implied warranty of
16 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 * GNU General Public License for more details.
19 * You should have received a copy of the GNU General Public License
20 * along with this program. If not, see <http://www.gnu.org/licenses/>.
23 #include <linux/linkage.h>
24 #include <linux/init.h>
25 #include <linux/irqchip/arm-gic-v3.h>
27 #include <asm/assembler.h>
29 #include <asm/ptrace.h>
30 #include <asm/asm-offsets.h>
31 #include <asm/cache.h>
32 #include <asm/cputype.h>
34 #include <asm/kernel-pgtable.h>
35 #include <asm/kvm_arm.h>
36 #include <asm/memory.h>
37 #include <asm/pgtable-hwdef.h>
38 #include <asm/pgtable.h>
41 #include <asm/sysreg.h>
42 #include <asm/thread_info.h>
45 #define __PHYS_OFFSET (KERNEL_START - TEXT_OFFSET)
47 #if (TEXT_OFFSET & 0xfff) != 0
48 #error TEXT_OFFSET must be at least 4KB aligned
49 #elif (PAGE_OFFSET & 0x1fffff) != 0
50 #error PAGE_OFFSET must be at least 2MB aligned
51 #elif TEXT_OFFSET > 0x1fffff
52 #error TEXT_OFFSET must be less than 2MB
56 * Kernel startup entry point.
57 * ---------------------------
59 * The requirements are:
60 * MMU = off, D-cache = off, I-cache = on or off,
61 * x0 = physical address to the FDT blob.
63 * This code is mostly position independent so you call this at
64 * __pa(PAGE_OFFSET + TEXT_OFFSET).
66 * Note that the callee-saved registers are used for storing variables
67 * that are useful before the MMU is enabled. The allocations are described
68 * in the entry routines.
73 * DO NOT MODIFY. Image header expected by Linux boot-loaders.
77 * This add instruction has no meaningful effect except that
78 * its opcode forms the magic "MZ" signature required by UEFI.
83 b stext // branch to kernel start, magic
86 le64sym _kernel_offset_le // Image load offset from start of RAM, little-endian
87 le64sym _kernel_size_le // Effective size of kernel image, little-endian
88 le64sym _kernel_flags_le // Informative flags, little-endian
92 .byte 0x41 // Magic number, "ARM\x64"
97 .long pe_header - _head // Offset to the PE header.
108 .short 0xaa64 // AArch64
109 .short 2 // nr_sections
110 .long 0 // TimeDateStamp
111 .long 0 // PointerToSymbolTable
112 .long 1 // NumberOfSymbols
113 .short section_table - optional_header // SizeOfOptionalHeader
114 .short 0x206 // Characteristics.
115 // IMAGE_FILE_DEBUG_STRIPPED |
116 // IMAGE_FILE_EXECUTABLE_IMAGE |
117 // IMAGE_FILE_LINE_NUMS_STRIPPED
119 .short 0x20b // PE32+ format
120 .byte 0x02 // MajorLinkerVersion
121 .byte 0x14 // MinorLinkerVersion
122 .long _end - efi_header_end // SizeOfCode
123 .long 0 // SizeOfInitializedData
124 .long 0 // SizeOfUninitializedData
125 .long __efistub_entry - _head // AddressOfEntryPoint
126 .long efi_header_end - _head // BaseOfCode
130 .long 0x1000 // SectionAlignment
131 .long PECOFF_FILE_ALIGNMENT // FileAlignment
132 .short 0 // MajorOperatingSystemVersion
133 .short 0 // MinorOperatingSystemVersion
134 .short 0 // MajorImageVersion
135 .short 0 // MinorImageVersion
136 .short 0 // MajorSubsystemVersion
137 .short 0 // MinorSubsystemVersion
138 .long 0 // Win32VersionValue
140 .long _end - _head // SizeOfImage
142 // Everything before the kernel image is considered part of the header
143 .long efi_header_end - _head // SizeOfHeaders
145 .short 0xa // Subsystem (EFI application)
146 .short 0 // DllCharacteristics
147 .quad 0 // SizeOfStackReserve
148 .quad 0 // SizeOfStackCommit
149 .quad 0 // SizeOfHeapReserve
150 .quad 0 // SizeOfHeapCommit
151 .long 0 // LoaderFlags
152 .long 0x6 // NumberOfRvaAndSizes
154 .quad 0 // ExportTable
155 .quad 0 // ImportTable
156 .quad 0 // ResourceTable
157 .quad 0 // ExceptionTable
158 .quad 0 // CertificationTable
159 .quad 0 // BaseRelocationTable
165 * The EFI application loader requires a relocation section
166 * because EFI applications must be relocatable. This is a
167 * dummy section as far as we are concerned.
171 .byte 0 // end of 0 padding of section name
174 .long 0 // SizeOfRawData
175 .long 0 // PointerToRawData
176 .long 0 // PointerToRelocations
177 .long 0 // PointerToLineNumbers
178 .short 0 // NumberOfRelocations
179 .short 0 // NumberOfLineNumbers
180 .long 0x42100040 // Characteristics (section flags)
186 .byte 0 // end of 0 padding of section name
187 .long _end - efi_header_end // VirtualSize
188 .long efi_header_end - _head // VirtualAddress
189 .long _edata - efi_header_end // SizeOfRawData
190 .long efi_header_end - _head // PointerToRawData
192 .long 0 // PointerToRelocations (0 for executables)
193 .long 0 // PointerToLineNumbers (0 for executables)
194 .short 0 // NumberOfRelocations (0 for executables)
195 .short 0 // NumberOfLineNumbers (0 for executables)
196 .long 0xe0500020 // Characteristics (section flags)
199 * EFI will load .text onwards at the 4k section alignment
200 * described in the PE/COFF header. To ensure that instruction
201 * sequences using an adrp and a :lo12: immediate will function
202 * correctly at this alignment, we must ensure that .text is
203 * placed at a 4k boundary in the Image to begin with.
212 * The following callee saved general purpose registers are used on the
213 * primary lowlevel boot path:
215 * Register Scope Purpose
216 * x21 stext() .. start_kernel() FDT pointer passed at boot in x0
217 * x23 stext() .. start_kernel() physical misalignment/KASLR offset
218 * x28 __create_page_tables() callee preserved temp register
219 * x19/x20 __primary_switch() callee preserved temp registers
222 bl preserve_boot_args
223 bl el2_setup // Drop to EL1, w0=cpu_boot_mode
224 adrp x23, __PHYS_OFFSET
225 and x23, x23, MIN_KIMG_ALIGN - 1 // KASLR offset, defaults to 0
226 bl set_cpu_boot_mode_flag
227 bl __create_page_tables
229 * The following calls CPU setup code, see arch/arm64/mm/proc.S for
231 * On return, the CPU will be ready for the MMU to be turned on and
232 * the TCR will have been set.
234 bl __cpu_setup // initialise processor
239 * Preserve the arguments passed by the bootloader in x0 .. x3
242 mov x21, x0 // x21=FDT
244 adr_l x0, boot_args // record the contents of
245 stp x21, x1, [x0] // x0 .. x3 at kernel entry
246 stp x2, x3, [x0, #16]
248 dmb sy // needed before dc ivac with
251 add x1, x0, #0x20 // 4 x 8 bytes
252 b __inval_cache_range // tail call
253 ENDPROC(preserve_boot_args)
256 * Macro to create a table entry to the next page.
258 * tbl: page table address
259 * virt: virtual address
260 * shift: #imm page table shift
261 * ptrs: #imm pointers per table page
264 * Corrupts: tmp1, tmp2
265 * Returns: tbl -> next level table page address
267 .macro create_table_entry, tbl, virt, shift, ptrs, tmp1, tmp2
268 lsr \tmp1, \virt, #\shift
269 and \tmp1, \tmp1, #\ptrs - 1 // table index
270 add \tmp2, \tbl, #PAGE_SIZE
271 orr \tmp2, \tmp2, #PMD_TYPE_TABLE // address of next table and entry type
272 str \tmp2, [\tbl, \tmp1, lsl #3]
273 add \tbl, \tbl, #PAGE_SIZE // next level table page
277 * Macro to populate the PGD (and possibily PUD) for the corresponding
278 * block entry in the next level (tbl) for the given virtual address.
280 * Preserves: tbl, next, virt
281 * Corrupts: tmp1, tmp2
283 .macro create_pgd_entry, tbl, virt, tmp1, tmp2
284 create_table_entry \tbl, \virt, PGDIR_SHIFT, PTRS_PER_PGD, \tmp1, \tmp2
285 #if SWAPPER_PGTABLE_LEVELS > 3
286 create_table_entry \tbl, \virt, PUD_SHIFT, PTRS_PER_PUD, \tmp1, \tmp2
288 #if SWAPPER_PGTABLE_LEVELS > 2
289 create_table_entry \tbl, \virt, SWAPPER_TABLE_SHIFT, PTRS_PER_PTE, \tmp1, \tmp2
294 * Macro to populate block entries in the page table for the start..end
295 * virtual range (inclusive).
297 * Preserves: tbl, flags
298 * Corrupts: phys, start, end, pstate
300 .macro create_block_map, tbl, flags, phys, start, end
301 lsr \phys, \phys, #SWAPPER_BLOCK_SHIFT
302 lsr \start, \start, #SWAPPER_BLOCK_SHIFT
303 and \start, \start, #PTRS_PER_PTE - 1 // table index
304 orr \phys, \flags, \phys, lsl #SWAPPER_BLOCK_SHIFT // table entry
305 lsr \end, \end, #SWAPPER_BLOCK_SHIFT
306 and \end, \end, #PTRS_PER_PTE - 1 // table end index
307 9999: str \phys, [\tbl, \start, lsl #3] // store the entry
308 add \start, \start, #1 // next entry
309 add \phys, \phys, #SWAPPER_BLOCK_SIZE // next block
315 * Setup the initial page tables. We only setup the barest amount which is
316 * required to get the kernel running. The following sections are required:
317 * - identity mapping to enable the MMU (low address, TTBR0)
318 * - first few MB of the kernel linear mapping to jump to once the MMU has
321 __create_page_tables:
325 * Invalidate the idmap and swapper page tables to avoid potential
326 * dirty cache lines being evicted.
328 adrp x0, idmap_pg_dir
329 adrp x1, swapper_pg_dir + SWAPPER_DIR_SIZE
330 bl __inval_cache_range
333 * Clear the idmap and swapper page tables.
335 adrp x0, idmap_pg_dir
336 adrp x6, swapper_pg_dir + SWAPPER_DIR_SIZE
337 1: stp xzr, xzr, [x0], #16
338 stp xzr, xzr, [x0], #16
339 stp xzr, xzr, [x0], #16
340 stp xzr, xzr, [x0], #16
344 mov x7, SWAPPER_MM_MMUFLAGS
347 * Create the identity mapping.
349 adrp x0, idmap_pg_dir
350 adrp x3, __idmap_text_start // __pa(__idmap_text_start)
352 #ifndef CONFIG_ARM64_VA_BITS_48
353 #define EXTRA_SHIFT (PGDIR_SHIFT + PAGE_SHIFT - 3)
354 #define EXTRA_PTRS (1 << (48 - EXTRA_SHIFT))
357 * If VA_BITS < 48, it may be too small to allow for an ID mapping to be
358 * created that covers system RAM if that is located sufficiently high
359 * in the physical address space. So for the ID map, use an extended
360 * virtual range in that case, by configuring an additional translation
362 * First, we have to verify our assumption that the current value of
363 * VA_BITS was chosen such that all translation levels are fully
364 * utilised, and that lowering T0SZ will always result in an additional
365 * translation level to be configured.
367 #if VA_BITS != EXTRA_SHIFT
368 #error "Mismatch between VA_BITS and page size/number of translation levels"
372 * Calculate the maximum allowed value for TCR_EL1.T0SZ so that the
373 * entire ID map region can be mapped. As T0SZ == (64 - #bits used),
374 * this number conveniently equals the number of leading zeroes in
375 * the physical address of __idmap_text_end.
377 adrp x5, __idmap_text_end
379 cmp x5, TCR_T0SZ(VA_BITS) // default T0SZ small enough?
380 b.ge 1f // .. then skip additional level
385 dc ivac, x6 // Invalidate potentially stale cache line
387 create_table_entry x0, x3, EXTRA_SHIFT, EXTRA_PTRS, x5, x6
391 create_pgd_entry x0, x3, x5, x6
392 mov x5, x3 // __pa(__idmap_text_start)
393 adr_l x6, __idmap_text_end // __pa(__idmap_text_end)
394 create_block_map x0, x7, x3, x5, x6
397 * Map the kernel image (starting with PHYS_OFFSET).
399 adrp x0, swapper_pg_dir
400 mov_q x5, KIMAGE_VADDR + TEXT_OFFSET // compile time __va(_text)
401 add x5, x5, x23 // add KASLR displacement
402 create_pgd_entry x0, x5, x3, x6
403 adrp x6, _end // runtime __pa(_end)
404 adrp x3, _text // runtime __pa(_text)
405 sub x6, x6, x3 // _end - _text
406 add x6, x6, x5 // runtime __va(_end)
407 create_block_map x0, x7, x3, x5, x6
410 * Since the page tables have been populated with non-cacheable
411 * accesses (MMU disabled), invalidate the idmap and swapper page
412 * tables again to remove any speculatively loaded cache lines.
414 adrp x0, idmap_pg_dir
415 adrp x1, swapper_pg_dir + SWAPPER_DIR_SIZE
417 bl __inval_cache_range
420 ENDPROC(__create_page_tables)
424 * The following fragment of code is executed with the MMU enabled.
429 adrp x4, init_thread_union
430 add sp, x4, #THREAD_SIZE
431 msr sp_el0, x4 // Save thread_info
433 adr_l x8, vectors // load VBAR_EL1 with virtual
434 msr vbar_el1, x8 // vector table address
437 stp xzr, x30, [sp, #-16]!
440 str_l x21, __fdt_pointer, x5 // Save FDT pointer
442 ldr_l x4, kimage_vaddr // Save the offset between
443 sub x4, x4, x0 // the kernel virtual and
444 str_l x4, kimage_voffset, x5 // physical mappings
447 adr_l x0, __bss_start
452 dsb ishst // Make zero page visible to PTW
457 #ifdef CONFIG_RANDOMIZE_BASE
458 tst x23, ~(MIN_KIMG_ALIGN - 1) // already running randomized?
460 mov x0, x21 // pass FDT address in x0
461 mov x1, x23 // pass modulo offset in x1
462 bl kaslr_early_init // parse FDT for KASLR options
463 cbz x0, 0f // KASLR disabled? just proceed
464 orr x23, x23, x0 // record KASLR offset
465 ldp x29, x30, [sp], #16 // we must enable KASLR, return
466 ret // to __primary_switch()
470 ENDPROC(__primary_switched)
473 * end early head section, begin head code that is also used for
474 * hotplug and needs to have the same protections as the text region
476 .section ".idmap.text","ax"
479 .quad _text - TEXT_OFFSET
482 * If we're fortunate enough to boot at EL2, ensure that the world is
483 * sane before dropping to EL1.
485 * Returns either BOOT_CPU_MODE_EL1 or BOOT_CPU_MODE_EL2 in x20 if
486 * booted in EL1 or EL2 respectively.
490 cmp x0, #CurrentEL_EL2
493 CPU_BE( orr x0, x0, #(1 << 25) ) // Set the EE bit for EL2
494 CPU_LE( bic x0, x0, #(1 << 25) ) // Clear the EE bit for EL2
498 CPU_BE( orr x0, x0, #(3 << 24) ) // Set the EE and E0E bits for EL1
499 CPU_LE( bic x0, x0, #(3 << 24) ) // Clear the EE and E0E bits for EL1
501 mov w0, #BOOT_CPU_MODE_EL1 // This cpu booted in EL1
506 #ifdef CONFIG_ARM64_VHE
508 * Check for VHE being present. For the rest of the EL2 setup,
509 * x2 being non-zero indicates that we do have VHE, and that the
510 * kernel is intended to run at EL2.
512 mrs x2, id_aa64mmfr1_el1
518 /* Hyp configuration. */
519 mov x0, #HCR_RW // 64-bit EL1
521 orr x0, x0, #HCR_TGE // Enable Host Extensions
527 /* Generic timers. */
529 orr x0, x0, #3 // Enable EL1 physical timers
531 msr cntvoff_el2, xzr // Clear virtual offset
533 #ifdef CONFIG_ARM_GIC_V3
534 /* GICv3 system register access */
535 mrs x0, id_aa64pfr0_el1
540 mrs_s x0, ICC_SRE_EL2
541 orr x0, x0, #ICC_SRE_EL2_SRE // Set ICC_SRE_EL2.SRE==1
542 orr x0, x0, #ICC_SRE_EL2_ENABLE // Set ICC_SRE_EL2.Enable==1
543 msr_s ICC_SRE_EL2, x0
544 isb // Make sure SRE is now set
545 mrs_s x0, ICC_SRE_EL2 // Read SRE back,
546 tbz x0, #0, 3f // and check that it sticks
547 msr_s ICH_HCR_EL2, xzr // Reset ICC_HCR_EL2 to defaults
552 /* Populate ID registers. */
559 * When VHE is not in use, early init of EL2 and EL1 needs to be
561 * When VHE _is_ in use, EL1 will not be used in the host and
562 * requires no configuration, and all non-hyp-specific EL2 setup
563 * will be done via the _EL1 system register aliases in __cpu_setup.
568 mov x0, #0x0800 // Set/clear RES{1,0} bits
569 CPU_BE( movk x0, #0x33d0, lsl #16 ) // Set EE and E0E on BE systems
570 CPU_LE( movk x0, #0x30d0, lsl #16 ) // Clear EE and E0E on LE systems
573 /* Coprocessor traps. */
575 msr cptr_el2, x0 // Disable copro. traps to EL2
579 msr hstr_el2, xzr // Disable CP15 traps to EL2
583 mrs x0, id_aa64dfr0_el1 // Check ID_AA64DFR0_EL1 PMUVer
586 b.lt 4f // Skip if no PMU present
587 mrs x0, pmcr_el0 // Disable debug access traps
588 ubfx x0, x0, #11, #5 // to EL2 and allow access to
590 csel x0, xzr, x0, lt // all PMU counters from EL1
591 msr mdcr_el2, x0 // (if they exist)
593 /* Stage-2 translation */
596 cbz x2, install_el2_stub
598 mov w0, #BOOT_CPU_MODE_EL2 // This CPU booted in EL2
603 /* Hypervisor stub */
604 adrp x0, __hyp_stub_vectors
605 add x0, x0, #:lo12:__hyp_stub_vectors
609 mov x0, #(PSR_F_BIT | PSR_I_BIT | PSR_A_BIT | PSR_D_BIT |\
613 mov w0, #BOOT_CPU_MODE_EL2 // This CPU booted in EL2
618 * Sets the __boot_cpu_mode flag depending on the CPU boot mode passed
619 * in x20. See arch/arm64/include/asm/virt.h for more info.
621 set_cpu_boot_mode_flag:
622 adr_l x1, __boot_cpu_mode
623 cmp w0, #BOOT_CPU_MODE_EL2
626 1: str w0, [x1] // This CPU has booted in EL1
628 dc ivac, x1 // Invalidate potentially stale cache line
630 ENDPROC(set_cpu_boot_mode_flag)
633 * These values are written with the MMU off, but read with the MMU on.
634 * Writers will invalidate the corresponding address, discarding up to a
635 * 'Cache Writeback Granule' (CWG) worth of data. The linker script ensures
636 * sufficient alignment that the CWG doesn't overlap another section.
638 .pushsection ".mmuoff.data.write", "aw"
640 * We need to find out the CPU boot mode long after boot, so we need to
641 * store it in a writable variable.
643 * This is not in .bss, because we set it sufficiently early that the boot-time
644 * zeroing of .bss would clobber it.
646 ENTRY(__boot_cpu_mode)
647 .long BOOT_CPU_MODE_EL2
648 .long BOOT_CPU_MODE_EL1
650 * The booting CPU updates the failed status @__early_cpu_boot_status,
651 * with MMU turned off.
653 ENTRY(__early_cpu_boot_status)
659 * This provides a "holding pen" for platforms to hold all secondary
660 * cores are held until we're ready for them to initialise.
662 ENTRY(secondary_holding_pen)
663 bl el2_setup // Drop to EL1, w0=cpu_boot_mode
664 bl set_cpu_boot_mode_flag
666 mov_q x1, MPIDR_HWID_BITMASK
668 adr_l x3, secondary_holding_pen_release
671 b.eq secondary_startup
674 ENDPROC(secondary_holding_pen)
677 * Secondary entry point that jumps straight into the kernel. Only to
678 * be used where CPUs are brought online dynamically by the kernel.
680 ENTRY(secondary_entry)
681 bl el2_setup // Drop to EL1
682 bl set_cpu_boot_mode_flag
684 ENDPROC(secondary_entry)
688 * Common entry point for secondary CPUs.
690 bl __cpu_setup // initialise processor
692 ldr x8, =__secondary_switched
694 ENDPROC(secondary_startup)
696 __secondary_switched:
701 adr_l x0, secondary_data
702 ldr x0, [x0, #CPU_BOOT_STACK] // get secondary_data.stack
704 and x0, x0, #~(THREAD_SIZE - 1)
705 msr sp_el0, x0 // save thread_info
707 b secondary_start_kernel
708 ENDPROC(__secondary_switched)
711 * The booting CPU updates the failed status @__early_cpu_boot_status,
712 * with MMU turned off.
714 * update_early_cpu_boot_status tmp, status
715 * - Corrupts tmp1, tmp2
716 * - Writes 'status' to __early_cpu_boot_status and makes sure
717 * it is committed to memory.
720 .macro update_early_cpu_boot_status status, tmp1, tmp2
722 adr_l \tmp1, __early_cpu_boot_status
725 dc ivac, \tmp1 // Invalidate potentially stale cache line
731 * x0 = SCTLR_EL1 value for turning on the MMU.
733 * Returns to the caller via x30/lr. This requires the caller to be covered
734 * by the .idmap.text section.
736 * Checks if the selected granule size is supported by the CPU.
737 * If it isn't, park the CPU
740 mrs x1, ID_AA64MMFR0_EL1
741 ubfx x2, x1, #ID_AA64MMFR0_TGRAN_SHIFT, 4
742 cmp x2, #ID_AA64MMFR0_TGRAN_SUPPORTED
743 b.ne __no_granule_support
744 update_early_cpu_boot_status 0, x1, x2
745 adrp x1, idmap_pg_dir
746 adrp x2, swapper_pg_dir
747 msr ttbr0_el1, x1 // load TTBR0
748 msr ttbr1_el1, x2 // load TTBR1
753 * Invalidate the local I-cache so that any instructions fetched
754 * speculatively from the PoC are discarded, since they may have
755 * been dynamically patched at the PoU.
761 ENDPROC(__enable_mmu)
763 __no_granule_support:
764 /* Indicate that this CPU can't boot and is stuck in the kernel */
765 update_early_cpu_boot_status CPU_STUCK_IN_KERNEL, x1, x2
770 ENDPROC(__no_granule_support)
772 #ifdef CONFIG_RELOCATABLE
775 * Iterate over each entry in the relocation table, and apply the
776 * relocations in place.
778 ldr w9, =__rela_offset // offset to reloc table
779 ldr w10, =__rela_size // size of reloc table
781 mov_q x11, KIMAGE_VADDR // default virtual offset
782 add x11, x11, x23 // actual virtual offset
783 add x9, x9, x11 // __va(.rela)
784 add x10, x9, x10 // __va(.rela) + sizeof(.rela)
788 ldp x11, x12, [x9], #24
790 cmp w12, #R_AARCH64_RELATIVE
792 add x13, x13, x23 // relocate
796 ENDPROC(__relocate_kernel)
800 #ifdef CONFIG_RANDOMIZE_BASE
801 mov x19, x0 // preserve new SCTLR_EL1 value
802 mrs x20, sctlr_el1 // preserve old SCTLR_EL1 value
806 #ifdef CONFIG_RELOCATABLE
808 #ifdef CONFIG_RANDOMIZE_BASE
809 ldr x8, =__primary_switched
810 adrp x0, __PHYS_OFFSET
814 * If we return here, we have a KASLR displacement in x23 which we need
815 * to take into account by discarding the current kernel mapping and
816 * creating a new one.
818 msr sctlr_el1, x20 // disable the MMU
820 bl __create_page_tables // recreate kernel mapping
822 tlbi vmalle1 // Remove any stale TLB entries
825 msr sctlr_el1, x19 // re-enable the MMU
827 ic iallu // flush instructions fetched
828 dsb nsh // via old mapping
834 ldr x8, =__primary_switched
835 adrp x0, __PHYS_OFFSET
837 ENDPROC(__primary_switch)