Home
last modified time | relevance | path

Searched defs:xProtocol (Results 1 – 8 of 8) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_privates_utest.c167 BaseType_t xProtocol = FREERTOS_IPPROTO_UDP, xIsBound = pdFALSE; in test_prvValidSocket_InvalidOrNULLSocket() local
185 BaseType_t xProtocol = FREERTOS_IPPROTO_UDP, xIsBound = pdTRUE; in test_prvValidSocket_SocketBoundSetButNotBound() local
203 BaseType_t xProtocol = FREERTOS_IPPROTO_UDP, xIsBound = pdFALSE; in test_prvValidSocket_SocketBoundResetButBound() local
221 BaseType_t xProtocol = FREERTOS_IPPROTO_UDP, xIsBound = pdTRUE; in test_prvValidSocket_InvalidProtocol() local
251 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_DGRAM, xProtocol = FREERTOS_IPPROTO_U… in test_prvDetermineSocketSize_IPTaskNotInit() local
267 …BaseType_t xDomain = FREERTOS_AF_INET + 1, xType = FREERTOS_SOCK_DGRAM, xProtocol = FREERTOS_IPPRO… in test_prvDetermineSocketSize_CatchAssert() local
282 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_DGRAM, xProtocol = FREERTOS_IPPROTO_U… in test_prvDetermineSocketSize_CatchAssert2() local
301 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_DGRAM, xProtocol = FREERTOS_IPPROTO_U… in test_prvDetermineSocketSize_CatchAssert3() local
325 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_DGRAM, xProtocol = ~( FREERTOS_IPPROT… in test_prvDetermineSocketSize_CatchAssert4() local
350 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_DGRAM + 1, xProtocol = FREERTOS_IPPRO… in test_prvDetermineSocketSize_CatchAssert5() local
[all …]
DFreeRTOS_Sockets_GenericAPI_utest.c233 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO_… in test_FreeRTOS_socket_SockSizeFailure() local
250 BaseType_t xProtocol = FREERTOS_SOCK_DEPENDENT_PROTO; in test_FreeRTOS_socket_SockSizeFailure_SockDependent() local
266 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO_… in test_FreeRTOS_socket_NoMemory() local
287 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO_… in test_FreeRTOS_socket_EventGroupCreationFailed() local
314 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_SOCK_DEP… in test_FreeRTOS_socket_TCPSocket_ProtocolDependent() local
359 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO_… in test_FreeRTOS_socket_TCPSocket() local
404 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_DGRAM, xProtocol = FREERTOS_IPPROTO_U… in test_FreeRTOS_socket_UDPSocket() local
443 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_DGRAM, xProtocol = FREERTOS_SOCK_DEPE… in test_FreeRTOS_socket_UDPSocket_ProtocolDependent() local
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_SOCKET_SEND_WITHOUT_BIND/
DvSocketBind_harness.c16 uint16_t prvGetPrivatePortNumber( BaseType_t xProtocol ) in prvGetPrivatePortNumber()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/DONT_ALLOW_SOCKET_SEND_WITHOUT_BIND/
DvSocketBind_harness.c16 uint16_t prvGetPrivatePortNumber( BaseType_t xProtocol ) in prvGetPrivatePortNumber()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_ETHERNET_DRIVER_FILTERS_PACKETS/
DvSocketBind_harness.c18 uint16_t prvGetPrivatePortNumber( BaseType_t xProtocol ) in prvGetPrivatePortNumber()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/
DProcessReceivedTCPPacket_harness.c34 BaseType_t xProtocol ) in FreeRTOS_socket()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/
Dfreertos_api.c38 BaseType_t xProtocol ) in FreeRTOS_socket()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_Sockets.c231 BaseType_t xProtocol, in prvValidSocket()
291 BaseType_t xProtocol, in prvDetermineSocketSize()
367 BaseType_t xProtocol ) in FreeRTOS_socket()
2179 static uint16_t prvGetPrivatePortNumber( BaseType_t xProtocol ) in prvGetPrivatePortNumber()