/*
 * DeriveCEKey_tl.h
 */

#ifndef DERIVECEKEY_TL_H_
#define DERIVECEKEY_TL_H_

#include "TZ_Vendor_tl.h"
#include "tz_esecomm_derive_cekey_msg.h"
#include "tl_esecomm_ctx.h"

uint32_t process_DeriveCEKey(
	tl_esecomm_ctx_t * g_tl_esecomm_ctx,
	tz_esecomm_derive_cekey_payload_t * sendmsg,
	tz_esecomm_derive_cekey_payload_t * respmsg
);

#endif /* DERIVECEKEY_TL_H_ */