efi.h (7b47c66cfa203288c43851260edeeb0fae56f692) efi.h (0adbdfde8cfc9415aeed2a4955d2d17b3bd9bf13)
1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _ASM_EFI_H
3#define _ASM_EFI_H
4
5#include <asm/boot.h>
6#include <asm/cpufeature.h>
7#include <asm/fpsimd.h>
8#include <asm/io.h>

--- 118 unchanged lines hidden (view full) ---

127 */
128 update_saved_ttbr0(current, mm);
129 cpu_switch_mm(mm->pgd, mm);
130 } else {
131 /*
132 * Defer the switch to the current thread's TTBR0_EL1
133 * until uaccess_enable(). Restore the current
134 * thread's saved ttbr0 corresponding to its active_mm
1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _ASM_EFI_H
3#define _ASM_EFI_H
4
5#include <asm/boot.h>
6#include <asm/cpufeature.h>
7#include <asm/fpsimd.h>
8#include <asm/io.h>

--- 118 unchanged lines hidden (view full) ---

127 */
128 update_saved_ttbr0(current, mm);
129 cpu_switch_mm(mm->pgd, mm);
130 } else {
131 /*
132 * Defer the switch to the current thread's TTBR0_EL1
133 * until uaccess_enable(). Restore the current
134 * thread's saved ttbr0 corresponding to its active_mm
135 * (if different from init_mm).
136 */
137 cpu_set_reserved_ttbr0();
135 */
136 cpu_set_reserved_ttbr0();
138 if (current->active_mm != &init_mm)
139 update_saved_ttbr0(current, current->active_mm);
137 update_saved_ttbr0(current, current->active_mm);
140 }
141 }
142}
143
144void efi_virtmap_load(void);
145void efi_virtmap_unload(void);
146
147#endif /* _ASM_EFI_H */
138 }
139 }
140}
141
142void efi_virtmap_load(void);
143void efi_virtmap_unload(void);
144
145#endif /* _ASM_EFI_H */