Commit | Line | Data |
---|---|---|
1cac41cb MB |
1 | /* |
2 | * Copyright (c) 2014 Samsung Electronics Co., Ltd. | |
3 | * | |
4 | * This program is free software; you can redistribute it and/or modify | |
5 | * it under the terms of the GNU General Public License as published by | |
6 | * the Free Software Foundation; either version 2 of the License, or | |
7 | * (at your option) any later version. | |
8 | * | |
9 | * This program is distributed in the hope that it will be useful, | |
10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of | |
11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
12 | * GNU General Public License for more details. | |
13 | * | |
14 | * You should have received a copy of the GNU General Public License along | |
15 | * with this program; if not, write to the Free Software Foundation, Inc., | |
16 | * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. | |
17 | * | |
18 | */ | |
19 | ||
20 | #include <linux/vmm.h> | |
21 | ||
22 | #ifdef CONFIG_RKP_6G | |
23 | #define vmm_ELF_PATH "init/vmm.6g.elf" | |
24 | #else | |
25 | #define vmm_ELF_PATH "init/vmm.elf" | |
26 | #endif | |
27 | ||
28 | #define SMC_64BIT_RET_MAGIC 0xC2000401 | |
29 | ||
30 | .section .init.text, "ax" | |
31 | .global _vmm_goto_EL2 | |
32 | _vmm_goto_EL2: | |
33 | smc #0 | |
34 | isb | |
35 | ret | |
36 | ||
37 | .global _vmm_disable | |
38 | _vmm_disable: | |
39 | ldr x0, =SMC_64BIT_RET_MAGIC | |
40 | smc #0 | |
41 | isb | |
42 | ||
43 | .global _svmm | |
44 | _svmm: | |
45 | .incbin vmm_ELF_PATH | |
46 | .global _evmm | |
47 | _evmm: | |
48 | .section .text |