Home
last modified time | relevance | path

Searched refs:xBuffer (Results 1 – 2 of 2) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARPGenerateRequestPacket/
DARPGenerateRequestPacket_harness.c20 void * xBuffer = malloc( ucBUFFER_SIZE ); in harness() local
22 __CPROVER_assume( xBuffer != NULL ); in harness()
26 xNetworkBuffer2.pucEthernetBuffer = xBuffer; in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_privates_utest.c1437 StreamBuffer_t xBuffer; in test_prvSockopt_so_buffer_InvalidOption2() local
1444 xSocket.u.xTCP.txStream = &xBuffer; in test_prvSockopt_so_buffer_InvalidOption2()
1483 StreamBuffer_t xBuffer; in test_prvSockopt_so_buffer_InvalidOption4() local
1490 xSocket.u.xTCP.rxStream = &xBuffer; in test_prvSockopt_so_buffer_InvalidOption4()