diff options
Diffstat (limited to 'aarch64/el1_s/el1_sec.c')
-rw-r--r-- | aarch64/el1_s/el1_sec.c | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/aarch64/el1_s/el1_sec.c b/aarch64/el1_s/el1_sec.c index 2aea580..3fc4d5b 100644 --- a/aarch64/el1_s/el1_sec.c +++ b/aarch64/el1_s/el1_sec.c @@ -1,11 +1,12 @@ -#include "platform.h" -#include "arm_builtins.h" -#include "libcflat.h" -#include <stdint.h> -#include "el1.h" -#include "debug.h" +#include "el1_common.h" -extern void *el1_load_el0(char *base, char *start_va); +uintptr_t EL1_S_INIT_BASE = (uintptr_t)&_EL1_S_INIT_BASE; +uintptr_t EL1_S_INIT_SIZE = (uintptr_t)&_EL1_S_INIT_SIZE; +uintptr_t EL1_S_FLASH_TEXT = (uintptr_t)&_EL1_S_FLASH_TEXT; +uintptr_t EL1_S_TEXT_BASE = (uintptr_t)&_EL1_S_TEXT_BASE; +uintptr_t EL1_S_DATA_BASE = (uintptr_t)&_EL1_S_DATA_BASE; +uintptr_t EL1_S_TEXT_SIZE = (uint64_t)&_EL1_S_TEXT_SIZE; +uintptr_t EL1_S_DATA_SIZE = (uint64_t)&_EL1_S_DATA_SIZE; void el1_init_el0() { |