/*
 * Finalize_tl.h
 */

#ifndef C_FINALIZE_TL_H
#define C_FINALIZE_TL_H

#include "tl_dk_ctx.h"
#include "tz_dk_finalize_msg.h"

tciReturnCode_t process_Finalize(
	tl_dk_ctx_t * ctx,
	tz_dk_finalize_payload_t * sendmsg,
	tz_dk_finalize_payload_t * respmsg
);

#endif /* C_FINALIZE_TL_H_ */