#ifndef PROCESS_CMD_H
#define PROCESS_CMD_H

#include <TZ_Vendor_tl.h>

#include "dk_common.h"
#include "dk_log.h"
#include "dk_wrapper.h"
#include "tl_dk_ctx.h"
#include "tz_dk_msg.h"

uint32_t process_cmd(
	tl_dk_ctx_t * ctx,
	uint32_t commandId,
	tciMessage_t * sendmsg,
	tciMessage_t * respmsg
);

#endif /* PROCESS_CMD_H_ */