Home
last modified time | relevance | path

Searched refs:usResult (Results 1 – 5 of 5) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_SOCKET_SEND_WITHOUT_BIND/
DvSocketBind_harness.c18 uint16_t usResult; in prvGetPrivatePortNumber() local
20 return usResult; in prvGetPrivatePortNumber()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/DONT_ALLOW_SOCKET_SEND_WITHOUT_BIND/
DvSocketBind_harness.c18 uint16_t usResult; in prvGetPrivatePortNumber() local
20 return usResult; in prvGetPrivatePortNumber()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_ETHERNET_DRIVER_FILTERS_PACKETS/
DvSocketBind_harness.c20 uint16_t usResult; in prvGetPrivatePortNumber() local
22 return usResult; in prvGetPrivatePortNumber()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Utils/
DFreeRTOS_IP_Utils_utest.c1161 uint16_t usResult; in test_usGenerateChecksum_UnallignedAccess() local
1177 usResult = usGenerateChecksum( usSum, &pucNextData[ uxUnalligned ], uxByteCount ); in test_usGenerateChecksum_UnallignedAccess()
1179 TEST_ASSERT_EQUAL( 23130, usResult ); in test_usGenerateChecksum_UnallignedAccess()
1184 uint16_t usResult; in test_usGenerateChecksum_OneByteToChecksum() local
1200 usResult = usGenerateChecksum( usSum, &pucNextData[ uxUnalligned ], uxByteCount ); in test_usGenerateChecksum_OneByteToChecksum()
1202 TEST_ASSERT_EQUAL( 43776, usResult ); in test_usGenerateChecksum_OneByteToChecksum()
1207 uint16_t usResult; in test_usGenerateChecksum_OneByteAllignedButZeroLength() local
1223 usResult = usGenerateChecksum( usSum, &pucNextData[ uxUnalligned ], uxByteCount ); in test_usGenerateChecksum_OneByteAllignedButZeroLength()
1225 TEST_ASSERT_EQUAL( 0, usResult ); in test_usGenerateChecksum_OneByteAllignedButZeroLength()
1230 uint16_t usResult; in test_usGenerateChecksum_TwoByteAlligned() local
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_Sockets.c2185 uint16_t usResult = 0; in prvGetPrivatePortNumber() local
2213 usResult = in prvGetPrivatePortNumber()
2221 ( TickType_t ) FreeRTOS_htons( usResult ) ) ) in prvGetPrivatePortNumber()
2223 usResult = FreeRTOS_htons( usResult ); in prvGetPrivatePortNumber()
2228 usResult = 0; in prvGetPrivatePortNumber()
2235 return usResult; in prvGetPrivatePortNumber()