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.
14 #include <asm/armv7.h>
15 #include <asm/secure.h>
16 #include <asm/setjmp.h>
19 * entry_non_secure() - entry point when switching to non-secure mode
21 * When switching to non-secure mode switch_to_non_secure_mode() calls this
22 * function passing a jump buffer. We use this jump buffer to restore the
23 * original stack and register state.
25 * @non_secure_jmp: jump buffer for restoring stack and registers
27 static void entry_non_secure(struct jmp_buf_data *non_secure_jmp)
30 debug("Reached non-secure mode\n");
32 /* Restore stack and registers saved in switch_to_non_secure_mode() */
33 longjmp(non_secure_jmp, 1);
37 * switch_to_non_secure_mode() - switch to non-secure mode
39 * Operating systems may expect to run in non-secure mode. Here we check if
40 * we are running in secure mode and switch to non-secure mode if necessary.
42 void switch_to_non_secure_mode(void)
44 static bool is_nonsec;
45 struct jmp_buf_data non_secure_jmp;
47 if (armv7_boot_nonsec() && !is_nonsec) {
48 if (setjmp(&non_secure_jmp))
50 dcache_disable(); /* flush cache before switch to HYP */
53 secure_ram_addr(_do_nonsec_entry)(entry_non_secure,
54 (uintptr_t)&non_secure_jmp,