1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #include <linux/linkage.h> 3 #include <asm/nospec-branch.h> 4 #include <asm/page_types.h> 5 #include <asm/processor-flags.h> 6 7 .text 8 .align PAGE_SIZE 9 10 /* 11 * asm_acpi_mp_play_dead() - Hand over control of the CPU to the BIOS 12 * 13 * rdi: Address of the ACPI MADT MPWK ResetVector 14 * rsi: PGD of the identity mapping 15 */ 16 SYM_FUNC_START(asm_acpi_mp_play_dead) 17 /* Turn off global entries. Following CR3 write will flush them. */ 18 movq %cr4, %rdx 19 andq $~(X86_CR4_PGE), %rdx 20 movq %rdx, %cr4 21 22 /* Switch to identity mapping */ 23 movq %rsi, %cr3 24 25 /* Jump to reset vector */ 26 ANNOTATE_RETPOLINE_SAFE 27 jmp *%rdi 28 SYM_FUNC_END(asm_acpi_mp_play_dead)
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.