blob: 81770381a5ab3303f9e7c74f45e37b972cafc77d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#ifndef __EL0_COMMON_H
#define __EL0_COMMON_H
#include "libcflat.h"
#include "svc.h"
#include "syscntl.h"
#include "arm_builtins.h"
#include "el0.h"
#include "debug.h"
#include "tztest.h"
extern sys_control_t *syscntl;
extern void *alloc_mem(int type, size_t len);
extern void map_va(void *va, size_t len, int type);
#endif
|
