sunxi: usb: Switch to Generic host controllers
[platform/kernel/u-boot.git] / include / sandboxtee.h
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*/