1 /* SPDX-License-Identifier: GPL-2.0+ */
2 /*
3  * Copyright (C) 2018 Linaro Limited
4  */
5 
6 #ifndef __SANDBOXTEE_H
7 #define __SANDBOXTEE_H
8 
9 /**
10  * struct sandbox_tee_state - internal state of the sandbox TEE
11  * @session:	current open session
12  * @num_shms:	number of registered shared memory objects
13  * @ta:		Trusted Application of current session
14  */
15 struct sandbox_tee_state {
16 	u32 session;
17 	int num_shms;
18 	void *ta;
19 };
20 
21 #endif /*__SANDBOXTEE_H*/
22