/*
 * Initialize_tl.h
 */

#ifndef C_INITIALIZE_TL_H
#define C_INITIALIZE_TL_H

#include <tz_init_msg.h>
#include <init_tl.h>

#include "tl_dk_ctx.h"

uint32_t process_Initialize(
	tl_dk_ctx_t * ctx,
	tz_init_payload_t * sendmsg,
	tz_init_payload_t * respmsg
);

#endif /* C_INITIALIZE_TL_H_ */