#ifndef TL_DK_CTX_H
#define TL_DK_CTX_H

#include <stdbool.h>
#include <tci.h>

#include "dk_scp_common.h"
#include "dk_channel.h"
#include "tz_dk_defs.h"


typedef struct tl_dk_ctx {
	uint32_t digitalkey_init_count;
	scp_context scp_ctx;
	channel_t channel;
} __attribute__ ((packed)) tl_dk_ctx_t;

tciReturnCode_t tl_digitalkey_ctx_initialize(tl_dk_ctx_t * p);

#endif /* TL_DIGITALKEY_CTX_H_ */