blob: 27750bf299c6356cd06a7dfbb7ee4edea539a5c6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#ifndef __EL1_COMMON_H
#define __EL1_COMMON_H
#include "libcflat.h"
#include "memory.h"
#include "svc.h"
#include "smc.h"
#include "string.h"
#include "el1.h"
#include "arch.h"
#include "arm_builtins.h"
#include "debug.h"
#include "syscntl.h"
extern void el1_init_el0();
extern bool el1_load_el0(uintptr_t base, uintptr_t *entry);
#endif
|
