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