1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2016-2017, Linaro Limited
4  */
5 
6 #ifndef __TEE_TCPSOCKET_H
7 #define __TEE_TCPSOCKET_H
8 
9 #include <tee_isocket.h>
10 #include <__tee_ipsocket.h>
11 #include <__tee_tcpsocket_defines.h>
12 
13 typedef struct TEE_tcpSocket_Setup_s {
14 	TEE_ipSocket_ipVersion ipVersion;
15 	char *server_addr;
16 	uint16_t server_port;
17 } TEE_tcpSocket_Setup;
18 
19 extern TEE_iSocket *const TEE_tcpSocket;
20 
21 #endif /*__TEE_TCPSOCKET_H*/
22