/*
 *
 * 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}
};