/*!
 * \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 SPAY_INIT_TL_H_
#define SPAY_INIT_TL_H_

#include "TZ_Vendor_tl.h"
#include "spay_init_msg.h"

uint32_t process_spay_init(
	tz_spay_init_msg_cmd_t * sendmsg,
	tz_spay_init_msg_resp_t * respmsg
);

uint32_t verify_trusted_boot(
    void
);

#endif /* SPAY_INIT_TL_H_ */