blob: ebb3b9e217de3559f35811f4a9b1a68df4eea58d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
/*
*
* Header for semelis
*
*/
#include <head_data.h>
#include <platform_def.h>
struct spare_boot_ctrl_head
monitor_head __attribute__ ((section(".head_data"))) =
{
(0x14000000 | ((sizeof(struct spare_boot_ctrl_head) / sizeof(int)) & 0x00FFFFFF)),
"monitor",
0,
0,
0,
0,
"2.0",
"monitor",
{BL31_BASE}
};
|