Home
last modified time | relevance | path

Searched defs:uxLocalPort (Results 1 – 7 of 7) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/
HDProcessReceivedTCPPacket_harness.c55 UBaseType_t uxLocalPort, in pxTCPSocketLookup()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket_IPv6/
HDProcessReceivedTCPPacket_IPv6_harness.c56 UBaseType_t uxLocalPort, in pxTCPSocketLookup()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket_IPv6/
HDProcessReceivedUDPPacket_IPv6_harness.c40 FreeRTOS_Socket_t * pxUDPSocketLookup( UBaseType_t uxLocalPort ) in pxUDPSocketLookup()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket/
HDProcessReceivedUDPPacket_harness.c85 FreeRTOS_Socket_t * pxUDPSocketLookup( UBaseType_t uxLocalPort ) in pxUDPSocketLookup()
/FreeRTOS-Plus-TCP-v4.0.0/source/
HDFreeRTOS_TCP_IP.c695 TickType_t uxLocalPort = ( TickType_t ) FreeRTOS_htons( pxSocket->usLocalPort ); in xTCPCheckNewClient() local
HDFreeRTOS_Sockets.c3063 FreeRTOS_Socket_t * pxUDPSocketLookup( UBaseType_t uxLocalPort ) in pxUDPSocketLookup()
4876 UBaseType_t uxLocalPort, in pxTCPSocketLookup()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/
HDFreeRTOS_Sockets_privates_utest.c1832 UBaseType_t uxLocalPort; in test_pxUDPSocketLookup_NotFound() local
1847 UBaseType_t uxLocalPort = 0xBCDEF; in test_pxUDPSocketLookup_FoundNULLSocket() local
1863 UBaseType_t uxLocalPort = 0xBCDEF; in test_pxUDPSocketLookup_Found() local
2583 UBaseType_t uxLocalPort = 0x1234; in test_pxTCPSocketLookup_FoundAMatch() local
2618 UBaseType_t uxLocalPort = 0x1234; in test_pxTCPSocketLookup_NoMatch() local
2656 UBaseType_t uxLocalPort = 0x1234; in test_pxTCPSocketLookup_NoMatch2() local
2694 UBaseType_t uxLocalPort = 0x1234; in test_pxTCPSocketLookup_FoundAPartialMatch() local
2733 UBaseType_t uxLocalPort = 0x1234; in test_pxTCPSocketLookup_IPv6Match() local