Home
last modified time | relevance | path

Searched refs:prvGetPrivatePortNumber (Results 1 – 5 of 5) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_ETHERNET_DRIVER_FILTERS_PACKETS/
DvSocketBind_harness.c16 uint16_t prvGetPrivatePortNumber( BaseType_t xProtocol );
18 uint16_t prvGetPrivatePortNumber( BaseType_t xProtocol ) in prvGetPrivatePortNumber() function
/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() function
/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() function
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_privates_utest.c1507 usReturn = prvGetPrivatePortNumber( xProtocol ); in test_prvGetPrivatePortNumber_TCP_RNGFails()
1524 usReturn = prvGetPrivatePortNumber( xProtocol ); in test_prvGetPrivatePortNumber_TCP_IPTaskNotReady()
1555 usReturn = prvGetPrivatePortNumber( xProtocol ); in test_prvGetPrivatePortNumber_TCP_Found()
1570 usReturn = prvGetPrivatePortNumber( xProtocol ); in test_prvGetPrivatePortNumber_UDP_RNGFails()
1587 usReturn = prvGetPrivatePortNumber( xProtocol ); in test_prvGetPrivatePortNumber_UDP_IPTaskNotReady()
1618 usReturn = prvGetPrivatePortNumber( xProtocol ); in test_prvGetPrivatePortNumber_UDP_Found()
1645 usReturn = prvGetPrivatePortNumber( xProtocol ); in test_prvGetPrivatePortNumber_UDP_NotFoundAfterAllIterations()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_Sockets.c109 static uint16_t prvGetPrivatePortNumber( BaseType_t xProtocol );
1376 … pxAddress->sin_port = prvGetPrivatePortNumber( ( BaseType_t ) pxSocket->ucProtocol ); in vSocketBind()
2179 static uint16_t prvGetPrivatePortNumber( BaseType_t xProtocol ) in prvGetPrivatePortNumber() function