25 lines
460 B
C
Executable File
25 lines
460 B
C
Executable File
/*
|
|
*
|
|
* Header for semelis
|
|
*
|
|
*/
|
|
|
|
#include <head_data.h>
|
|
#include <platform_def.h>
|
|
|
|
extern char bl31_hash_value[64];
|
|
unsigned int cpu_on_flag[8] = {1, 0, 0, 0, 0, 0, 0, 0};
|
|
|
|
struct spare_monitor_head monitor_head __attribute__ ((section(".head_data"))) =
|
|
{
|
|
(0x14000000 |(((sizeof(struct spare_monitor_head)+sizeof(bl31_hash_value)) / sizeof(int)) & 0x00FFFFFF)),
|
|
"monitor",
|
|
0,
|
|
0,
|
|
0,
|
|
0,
|
|
{0},
|
|
"monitor",
|
|
{BL31_BASE}
|
|
};
|