/* SPDX-License-Identifier: BSD-2-Clause */ | |
/* | |
* Copyright (c) 2016-2017, Linaro Limited | |
*/ | |
#ifndef __TEE_TCPSOCKET_H | |
#define __TEE_TCPSOCKET_H | |
#include <tee_isocket.h> | |
#include <__tee_ipsocket.h> | |
#include <__tee_tcpsocket_defines.h> | |
typedef struct TEE_tcpSocket_Setup_s { | |
TEE_ipSocket_ipVersion ipVersion; | |
char *server_addr; | |
uint16_t server_port; | |
} TEE_tcpSocket_Setup; | |
extern TEE_iSocket *const TEE_tcpSocket; | |
#endif /*__TEE_TCPSOCKET_H*/ |