1/*
2 * Copyright (c) 2021 Carlo Caione <ccaione@baylibre.com>
3 *
4 * SPDX-License-Identifier: Apache-2.0
5 */
6
7#include <zephyr/toolchain.h>
8#include <zephyr/linker/sections.h>
9#include <zephyr/arch/cpu.h>
10
11_ASM_FILE_PROLOGUE
12
13/*
14 * Switch TTBR0
15 */
16
17GTEXT(z_arm64_set_ttbr0)
18SECTION_FUNC(TEXT, z_arm64_set_ttbr0)
19
20	/* Switch the TTBR0 */
21	msr	ttbr0_el1, x0
22	isb
23
24	ret
25