u-boot/include/sandboxtee.h

/* 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*/