Home
last modified time | relevance | path

Searched refs:uxLocalPort (Results 1 – 8 of 8) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket/
DProcessReceivedUDPPacket_harness.c44 FreeRTOS_Socket_t * pxUDPSocketLookup( UBaseType_t uxLocalPort ) in pxUDPSocketLookup() argument
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP/
DTCP_IP_list_macros.h87 UBaseType_t uxLocalPort,
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/
DTCP_IP_DiffConfig_list_macros.h87 UBaseType_t uxLocalPort,
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_privates_utest.c1750 UBaseType_t uxLocalPort; in test_pxUDPSocketLookup_NotFound() local
1754 pxReturn = pxUDPSocketLookup( uxLocalPort ); in test_pxUDPSocketLookup_NotFound()
1765 UBaseType_t uxLocalPort = 0xBCDEF; in test_pxUDPSocketLookup_FoundNULLSocket() local
1768 vpxListFindListItemWithValue_Found( &xBoundUDPSocketsList, uxLocalPort, &xListItem ); in test_pxUDPSocketLookup_FoundNULLSocket()
1772 catch_assert( pxUDPSocketLookup( uxLocalPort ) ); in test_pxUDPSocketLookup_FoundNULLSocket()
1781 UBaseType_t uxLocalPort = 0xBCDEF; in test_pxUDPSocketLookup_Found() local
1785 vpxListFindListItemWithValue_Found( &xBoundUDPSocketsList, uxLocalPort, &xListItem ); in test_pxUDPSocketLookup_Found()
1789 pxReturn = pxUDPSocketLookup( uxLocalPort ); in test_pxUDPSocketLookup_Found()
2464 UBaseType_t uxLocalPort = 0x1234; in test_pxTCPSocketLookup_FoundAMatch() local
2472 xMatchingSocket.usLocalPort = uxLocalPort; in test_pxTCPSocketLookup_FoundAMatch()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/
DProcessReceivedTCPPacket_harness.c57 UBaseType_t uxLocalPort, in pxTCPSocketLookup() argument
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_IP_Private.h716 UBaseType_t uxLocalPort,
726 FreeRTOS_Socket_t * pxUDPSocketLookup( UBaseType_t uxLocalPort );
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_TCP_IP.c880 TickType_t uxLocalPort = ( TickType_t ) FreeRTOS_htons( pxSocket->usLocalPort ); in xTCPCheckNewClient() local
896 … if( listGET_LIST_ITEM_VALUE( pxIterator ) == ( configLIST_VOLATILE TickType_t ) uxLocalPort ) in xTCPCheckNewClient()
DFreeRTOS_Sockets.c2287 FreeRTOS_Socket_t * pxUDPSocketLookup( UBaseType_t uxLocalPort ) in pxUDPSocketLookup() argument
2296 pxListItem = pxListFindListItemWithValue( &xBoundUDPSocketsList, ( TickType_t ) uxLocalPort ); in pxUDPSocketLookup()
4085 UBaseType_t uxLocalPort, in pxTCPSocketLookup() argument
4106 if( pxSocket->usLocalPort == ( uint16_t ) uxLocalPort ) in pxTCPSocketLookup()