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