Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ICMP/ProcessICMPEchoRequest/
DProcessICMPEchoRequest_harness.c63 uint16_t usProtocolChecksum; in usGenerateProtocolChecksum() local
66 return usProtocolChecksum; in usGenerateProtocolChecksum()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket/
DvProcessGeneratedUDPPacket_harness.c44 uint16_t usProtocolChecksum; in usGenerateProtocolChecksum() local
47 return usProtocolChecksum; in usGenerateProtocolChecksum()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket_IPv6/
DvProcessGeneratedUDPPacket_IPv6_harness.c42 uint16_t usProtocolChecksum; in usGenerateProtocolChecksum() local
47 return usProtocolChecksum; in usGenerateProtocolChecksum()