/* | |
* Copyright (c) 2021 Carlo Caione <ccaione@baylibre.com> | |
* | |
* SPDX-License-Identifier: Apache-2.0 | |
*/ | |
#include <zephyr/toolchain.h> | |
#include <zephyr/linker/sections.h> | |
#include <zephyr/arch/cpu.h> | |
_ASM_FILE_PROLOGUE | |
/* | |
* Switch TTBR0 | |
*/ | |
GTEXT(z_arm64_set_ttbr0) | |
SECTION_FUNC(TEXT, z_arm64_set_ttbr0) | |
/* Switch the TTBR0 */ | |
msr ttbr0_el1, x0 | |
isb | |
ret |