Searched refs:pxEndPoints (Results 1 – 4 of 4) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_DiffConfig3/ |
| D | FreeRTOS_IP_DiffConfig3_utest.c | 97 NetworkEndPoint_t xEndPoints, * pxEndPoints = &xEndPoints; in test_prvProcessIPEventsAndTimers_eDHCPEvent_DHCPv4() local
100 memset( pxEndPoints, 0, sizeof( NetworkEndPoint_t ) ); in test_prvProcessIPEventsAndTimers_eDHCPEvent_DHCPv4()
101 pxEndPoints->bits.bWantDHCP = pdTRUE_UNSIGNED; in test_prvProcessIPEventsAndTimers_eDHCPEvent_DHCPv4()
104 xReceivedEvent.pvData = pxEndPoints; in test_prvProcessIPEventsAndTimers_eDHCPEvent_DHCPv4()
114 vDHCPProcess_Expect( pdFALSE, pxEndPoints ); in test_prvProcessIPEventsAndTimers_eDHCPEvent_DHCPv4()
128 NetworkEndPoint_t xEndPoints, * pxEndPoints = &xEndPoints; in test_prvProcessIPEventsAndTimers_eDHCPEvent_DHCPv6() local
131 memset( pxEndPoints, 0, sizeof( NetworkEndPoint_t ) ); in test_prvProcessIPEventsAndTimers_eDHCPEvent_DHCPv6()
132 pxEndPoints->bits.bWantDHCP = pdTRUE_UNSIGNED; in test_prvProcessIPEventsAndTimers_eDHCPEvent_DHCPv6()
133 pxEndPoints->bits.bIPv6 = pdTRUE_UNSIGNED; in test_prvProcessIPEventsAndTimers_eDHCPEvent_DHCPv6()
136 xReceivedEvent.pvData = pxEndPoints; in test_prvProcessIPEventsAndTimers_eDHCPEvent_DHCPv6()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ND/prvProcessICMPMessage_IPv6/ |
| D | ProcessICMPMessage_IPv6_harness.c | 99 NetworkEndPoint_t * pxEndPoints = NULL; in FreeRTOS_FindEndPointOnIP_IPv6() local
103 pxEndPoints = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in FreeRTOS_FindEndPointOnIP_IPv6()
105 if( ensure_memory_is_valid( pxEndPoints, sizeof( NetworkEndPoint_t ) ) ) in FreeRTOS_FindEndPointOnIP_IPv6()
108 …pxEndPoints->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( NetworkInterface_t … in FreeRTOS_FindEndPointOnIP_IPv6()
109 __CPROVER_assume( pxEndPoints->pxNetworkInterface != NULL ); in FreeRTOS_FindEndPointOnIP_IPv6()
111 pxEndPoints->pxNext = NULL; in FreeRTOS_FindEndPointOnIP_IPv6()
112 pxEndPoints->pxNetworkInterface->pfOutput = NetworkInterfaceOutputFunction_Stub; in FreeRTOS_FindEndPointOnIP_IPv6()
115 return pxEndPoints; in FreeRTOS_FindEndPointOnIP_IPv6()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ND/prvReturnICMP_IPv6/ |
| D | ReturnICMP_IPv6_harness.c | 102 NetworkEndPoint_t * pxEndPoints = NULL; in FreeRTOS_FindEndPointOnIP_IPv6() local
106 pxEndPoints = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in FreeRTOS_FindEndPointOnIP_IPv6()
108 if( ensure_memory_is_valid( pxEndPoints, sizeof( NetworkEndPoint_t ) ) ) in FreeRTOS_FindEndPointOnIP_IPv6()
111 …pxEndPoints->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( NetworkInterface_t … in FreeRTOS_FindEndPointOnIP_IPv6()
112 __CPROVER_assume( pxEndPoints->pxNetworkInterface != NULL ); in FreeRTOS_FindEndPointOnIP_IPv6()
114 pxEndPoints->pxNext = NULL; in FreeRTOS_FindEndPointOnIP_IPv6()
115 pxEndPoints->pxNetworkInterface->pfOutput = NetworkInterfaceOutputFunction_Stub; in FreeRTOS_FindEndPointOnIP_IPv6()
118 return pxEndPoints; in FreeRTOS_FindEndPointOnIP_IPv6()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP/ |
| D | FreeRTOS_IP_utest.c | 821 NetworkEndPoint_t xEndPoints, * pxEndPoints = &xEndPoints; in test_prvProcessIPEventsAndTimers_eDHCPEvent() local
823 memset( pxEndPoints, 0, sizeof( NetworkEndPoint_t ) ); in test_prvProcessIPEventsAndTimers_eDHCPEvent()
824 pxEndPoints->bits.bWantDHCP = pdTRUE_UNSIGNED; in test_prvProcessIPEventsAndTimers_eDHCPEvent()
825 pxEndPoints->bits.bIPv6 = pdFALSE_UNSIGNED; in test_prvProcessIPEventsAndTimers_eDHCPEvent()
828 xReceivedEvent.pvData = pxEndPoints; in test_prvProcessIPEventsAndTimers_eDHCPEvent()
835 vDHCPProcess_Expect( pdFALSE, pxEndPoints ); in test_prvProcessIPEventsAndTimers_eDHCPEvent()
|
