/*!
 * \file    init_tl.h
 * \brief   header file for process_init function
 * \author  Shyam Prasad
 * \date    11/15/2013
 *
 * <hr>
 * \section LICENSE
 * Copyright Samsung Electronics, Co. Ltd. B2B TIMA team. 2013 04
 * <hr>
 */

#ifndef INIT_TL_H_
#define INIT_TL_H_

#include "TZ_Vendor_tl.h"
//#include "tlStd.h"
#include "tz_init_msg.h"

/*!
 * Function to initialize a trustlet using the boot meausrements 
 * either from secure memory or from the tima_measurement_info file. 
 *
 * @param[in] sendmsg    : contains cmd structure
 *						   cmd contains the measurement info
 *
 * @param[in] respmsg    : contains resp structure
 * 						   resp contains the return error code.
 *
 * @return uint32_t      : returns TZ_COMMON_OK upon success 
 * 						   or a specific error code upon failure
 */

uint32_t process_init(
	tz_init_payload_t * sendmsg,
	tz_init_payload_t * respmsg
);

#ifdef  CONFIG_ENABLE_EPKM
/* Function to read and compare
boot time hash with golden msr */

uint32_t tz_chk_boot_msr(
);
#endif
#endif /* INIT_TL_H_ */