1 files changed, 30 insertions, 0 deletions
diff --git a/include/sandboxtee.h b/include/sandboxtee.h
new file mode 100644
index 0000000..419643a
--- /dev/null
+++ b/include/sandboxtee.h
@@ -0,0 +1,30 @@
+/* SPDX-License-Identifier: GPL-2.0+ */
+/*
+ * Copyright (C) 2018 Linaro Limited
+ */
+
+#ifndef __SANDBOXTEE_H
+#define __SANDBOXTEE_H
+
+#include <search.h>
+#include <tee/optee_ta_avb.h>
+
+/**
+ * struct sandbox_tee_state - internal state of the sandbox TEE
+ * @session:			current open session
+ * @num_shms:			number of registered shared memory objects
+ * @ta:				Trusted Application of current session
+ * @ta_avb_rollback_indexes	TA avb rollback indexes storage
+ * @ta_avb_lock_state		TA avb lock state storage
+ * @pstorage_htab		named persistent values storage
+ */
+struct sandbox_tee_state {
+	u32 session;
+	int num_shms;
+	void *ta;
+	u64 ta_avb_rollback_indexes[TA_AVB_MAX_ROLLBACK_LOCATIONS];
+	u32 ta_avb_lock_state;
+	struct hsearch_data pstorage_htab;
+};
+
+#endif /*__SANDBOXTEE_H*/