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