aarch64/el1_s/el1_sec.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

#include "platform.h"
#include "arm_builtins.h"
#include "libcflat.h"
#include <stdint.h>
#include "el1.h"
#include "debug.h"

extern void *el1_load_el0(char *base, char *start_va);

void el1_init_el0()
{
    int (*main)(void);

    main = el1_load_el0((char *)EL0_S_FLASH_BASE, (char *)EL0_NS_BASE_VA);

    __set_exception_return((uint64_t)main);
    __exception_return();
}