Home
last modified time | relevance | path

Searched refs:pxIsWaitingForARPResolution (Results 1 – 3 of 3) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket/
DProcessReceivedUDPPacket_harness.c52 BaseType_t * pxIsWaitingForARPResolution; in harness() local
54 pxIsWaitingForARPResolution = safeMalloc( sizeof( BaseType_t ) ); in harness()
59 __CPROVER_assume( pxIsWaitingForARPResolution != NULL ); in harness()
70 xProcessReceivedUDPPacket( pxNetworkBuffer, usPort, pxIsWaitingForARPResolution ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_UDP_IP.c309 BaseType_t * pxIsWaitingForARPResolution ) in xProcessReceivedUDPPacket() argument
327 *pxIsWaitingForARPResolution = pdFALSE; in xProcessReceivedUDPPacket()
338 *pxIsWaitingForARPResolution = pdTRUE; in xProcessReceivedUDPPacket()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_IP_Private.h478 BaseType_t * pxIsWaitingForARPResolution );