| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/pxUDPPayloadBuffer_to_NetworkBuffer/ |
| D | pxUDPPayloadBuffer_to_NetworkBuffer_harness.c | 41 BaseType_t xIsIPv6; variable
57 xIsIPv6 = nondet_bool(); in harness()
60 if( xIsIPv6 ) in harness()
77 if( xIsIPv6 ) in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/xCheckRequiresARPResolution/ |
| D | xCheckRequiresARPResolution_harness.c | 13 BaseType_t xIsIPv6; variable
33 if( xIsIPv6 ) in uxIPHeaderSizePacket()
94 xIsIPv6 = nondet_bool(); in harness()
96 if( xIsIPv6 ) in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName_cancel/ |
| D | DNSgetHostByName_cancel_harness.c | 21 BaseType_t xIsIPv6 );
60 BaseType_t xIsIPv6; in harness() local
71 …vDNSSetCallBack( pcHostName, &pvSearchID, pCallback, xTimeout, xIdentifier, xIsIPv6 ); /* Add an i… in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_DNS_Callback.c | 137 BaseType_t xIsIPv6 ) in vDNSSetCallBack() argument
161 pxCallback->xIsIPv6 = xIsIPv6; in vDNSSetCallBack()
250 if( pxCallback->xIsIPv6 != 0 ) in vDNSCheckCallBack()
|
| D | FreeRTOS_IP_Utils.c | 164 …else if( ( pxSet->xIsIPv6 != pdFALSE ) && ( pxSet->ucProtocol == ( uint8_t ) ipPROTOCOL_ICMP_IPv6 … in prvSetChecksumInPacket()
199 …else if( ( pxSet->xIsIPv6 != pdFALSE ) && ( pxSet->ucProtocol == ( uint8_t ) ipPROTOCOL_ICMP_IPv6 … in prvGetChecksumFromPacket()
472 …else if( ( pxSet->xIsIPv6 != pdFALSE ) && ( pxSet->ucProtocol == ( uint8_t ) ipPROTOCOL_ICMP_IPv6 … in prvChecksumProtocolChecks()
537 if( pxSet->xIsIPv6 != pdFALSE ) in prvChecksumProtocolCalculate()
570 …else if( ( pxSet->xIsIPv6 != pdFALSE ) && ( pxSet->ucProtocol == ( uint8_t ) ipPROTOCOL_ICMP_IPv6 … in prvChecksumProtocolCalculate()
582 switch( pxSet->xIsIPv6 ) /* LCOV_EXCL_BR_LINE */ in prvChecksumProtocolCalculate()
|
| D | FreeRTOS_IPv4_Utils.c | 86 pxSet->xIsIPv6 = pdFALSE; in prvChecksumIPv4Checks()
|
| D | FreeRTOS_TCP_Transmission.c | 252 BaseType_t xIsIPv6 = pdFALSE; in prvTCPReturnPacket() local
259 xIsIPv6 = pdTRUE; in prvTCPReturnPacket()
268 xIsIPv6 = pdTRUE; in prvTCPReturnPacket()
279 if( xIsIPv6 == pdTRUE ) in prvTCPReturnPacket()
286 if( xIsIPv6 == pdFALSE ) in prvTCPReturnPacket()
|
| D | FreeRTOS_IP.c | 580 BaseType_t xIsIPv6 = pdFALSE; in prvCallDHCP_RA_Handler() local
585 xIsIPv6 = pdTRUE; in prvCallDHCP_RA_Handler()
591 if( ( pxEndPoint->bits.bWantDHCP != pdFALSE_UNSIGNED ) && ( xIsIPv6 == pdFALSE ) ) in prvCallDHCP_RA_Handler()
600 if( ( xIsIPv6 == pdTRUE ) && ( pxEndPoint->bits.bWantDHCP != pdFALSE_UNSIGNED ) ) in prvCallDHCP_RA_Handler()
609 if( ( xIsIPv6 == pdTRUE ) && ( pxEndPoint->bits.bWantRA != pdFALSE_UNSIGNED ) ) in prvCallDHCP_RA_Handler()
619 ( void ) xIsIPv6; in prvCallDHCP_RA_Handler()
|
| D | FreeRTOS_Routing.c | 746 BaseType_t xIsIPv6 = ( usFrameType == ipIPv6_FRAME_TYPE ) ? pdTRUE : pdFALSE; in pxEasyFit() local
755 if( xIsIPv6 == pdTRUE ) in pxEasyFit()
784 if( xIsIPv6 == ( BaseType_t ) pxEndPoint->bits.bIPv6 ) in pxEasyFit()
790 switch( xIsIPv6 ) /* LCOV_EXCL_BR_LINE */ in pxEasyFit()
|
| D | FreeRTOS_IPv6_Utils.c | 81 pxSet->xIsIPv6 = pdTRUE; in prvChecksumIPv6Checks()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils/ |
| D | FreeRTOS_IP_Utils_stubs.c | 109 pxSet->xIsIPv6 = pdTRUE; in prvChecksumIPv6Checks_Valid()
129 pxSet->xIsIPv6 = pdFALSE; in prvChecksumIPv4Checks_Valid()
|
| D | FreeRTOS_IP_Utils_utest.c | 2989 xSet.xIsIPv6 = pdTRUE; in test_prvGetChecksumFromPacket_IPv6UnhandledProtocol()
3024 xSet.xIsIPv6 = pdTRUE; in test_prvSetChecksumInPacket_IPv6UnhandledProtocol()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Callback/ |
| D | FreeRTOS_DNS_Callback_utest.c | 367 dnsCallback.xIsIPv6 = 0; in test_vDNSCheckCallback_success_search_id_null_timeout()
411 dnsCallback.xIsIPv6 = 1; in test_vDNSCheckCallback_success_search_id_null_timeout_IPv6()
455 dnsCallback.xIsIPv6 = 0; in test_vDNSCheckCallback_success_search_id_null_timeout2()
499 dnsCallback.xIsIPv6 = 1; in test_vDNSCheckCallback_success_search_id_null_timeout2_IPv6()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_DNS_Callback.h | 61 BaseType_t xIsIPv6 );
|
| D | FreeRTOS_DNS_Globals.h | 284 BaseType_t xIsIPv6; /**< Remember whether this was a IPv6 lookup. */ member
|
| D | FreeRTOS_IP_Private.h | 244 BaseType_t xIsIPv6; /**< pdTRUE for IPv6 packets. */ member
|
