Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ARP/
DFreeRTOS_ARP_utest.c32 ARPPacket_t xARPFrame; in vResetARPClashCounter() local
35 memset( &xARPFrame, 0, sizeof( ARPPacket_t ) ); in vResetARPClashCounter()
39 xARPFrame.xARPHeader.usHardwareType = ipARP_HARDWARE_TYPE_ETHERNET; in vResetARPClashCounter()
40 xARPFrame.xARPHeader.usProtocolType = ipARP_PROTOCOL_TYPE; in vResetARPClashCounter()
41 xARPFrame.xARPHeader.ucHardwareAddressLength = ipMAC_ADDRESS_LENGTH_BYTES; in vResetARPClashCounter()
43 xARPFrame.xARPHeader.ucProtocolAddressLength = ipIP_ADDRESS_LENGTH_BYTES + 1; in vResetARPClashCounter()
48 eResult = eARPProcessPacket( &xARPFrame ); in vResetARPClashCounter()
177 ARPPacket_t xARPFrame; in test_eARPProcessPacket_DifferentHardwareAddress() local
180 memset( &xARPFrame, 0, sizeof( ARPPacket_t ) ); in test_eARPProcessPacket_DifferentHardwareAddress()
184 xARPFrame.xARPHeader.usHardwareType = ipARP_HARDWARE_TYPE_ETHERNET + 1; in test_eARPProcessPacket_DifferentHardwareAddress()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARPProcessPacket/
DARPProcessPacket_harness.c20 ARPPacket_t xARPFrame; in harness() local
50 eARPProcessPacket( &xARPFrame ); in harness()