1 // SPDX-License-Identifier: GPL-2.0+
3 * Switch to non-secure mode
5 * Copyright (c) 2018 Heinrich Schuchardt
7 * This module contains the ARMv7 specific code required for leaving the
8 * secure mode before booting an operating system.
15 #include <asm/armv7.h>
16 #include <asm/secure.h>
17 #include <asm/setjmp.h>
20 * entry_non_secure() - entry point when switching to non-secure mode
22 * When switching to non-secure mode switch_to_non_secure_mode() calls this
23 * function passing a jump buffer. We use this jump buffer to restore the
24 * original stack and register state.
26 * @non_secure_jmp: jump buffer for restoring stack and registers
28 static void entry_non_secure(struct jmp_buf_data *non_secure_jmp)
31 debug("Reached non-secure mode\n");
33 /* Restore stack and registers saved in switch_to_non_secure_mode() */
34 longjmp(non_secure_jmp, 1);
38 * switch_to_non_secure_mode() - switch to non-secure mode
40 * Operating systems may expect to run in non-secure mode. Here we check if
41 * we are running in secure mode and switch to non-secure mode if necessary.
43 void switch_to_non_secure_mode(void)
45 static bool is_nonsec;
46 struct jmp_buf_data non_secure_jmp;
48 if (armv7_boot_nonsec() && !is_nonsec) {
49 if (setjmp(&non_secure_jmp))
51 dcache_disable(); /* flush cache before switch to HYP */
54 secure_ram_addr(_do_nonsec_entry)(entry_non_secure,
55 (uintptr_t)&non_secure_jmp,