| * David Feng <fenghua@phytium.com.cn> |
| * SPDX-License-Identifier: GPL-2.0+ |
| #include <linux/linkage.h> |
| ENTRY(armv8_switch_to_el2) |
| * When loading 32-bit kernel, it will jump |
| * to secure firmware again, and never return. |
| * x4 is kernel entry point or switch_to_el1 |
| * if CONFIG_ARMV8_SWITCH_TO_EL1 is defined. |
| * When running in EL2 now, jump to the |
| 1: armv8_switch_to_el2_m x4, x5, x6 |
| ENDPROC(armv8_switch_to_el2) |
| ENTRY(armv8_switch_to_el1) |
| /* x4 is kernel entry point. When running in EL1 |
| * now, jump to the address saved in x4. |
| 1: armv8_switch_to_el1_m x4, x5, x6 |
| ENDPROC(armv8_switch_to_el1) |
| WEAK(armv8_el2_to_aarch32) |
| ENDPROC(armv8_el2_to_aarch32) |