Searched refs:xDHCPv6Socket (Results 1 – 5 of 5) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6ProcessEndPoint/ |
| D | DHCPv6ProcessEndPoint_harness.c | 49 extern Socket_t xDHCPv6Socket;
145 xDHCPv6Socket = FreeRTOS_socket( FREERTOS_AF_INET, FREERTOS_SOCK_DGRAM, FREERTOS_IPPROTO_UDP ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_DHCPv6.c | 88 static Socket_t xDHCPv6Socket; variable
828 if( ( EP_DHCPData.xDHCPSocket == NULL ) || ( EP_DHCPData.xDHCPSocket != xDHCPv6Socket ) ) in prvCloseDHCPv6Socket()
840 ( void ) vSocketClose( xDHCPv6Socket ); in prvCloseDHCPv6Socket()
841 xDHCPv6Socket = NULL; in prvCloseDHCPv6Socket()
868 if( ( xDHCPv6Socket != NULL ) && ( EP_DHCPData.xDHCPSocket == xDHCPv6Socket ) ) in prvCreateDHCPv6Socket()
872 else if( xDHCPv6Socket == NULL ) /* Create the socket, if it has not already been created. */ in prvCreateDHCPv6Socket()
874 … xDHCPv6Socket = FreeRTOS_socket( FREERTOS_AF_INET6, FREERTOS_SOCK_DGRAM, FREERTOS_IPPROTO_UDP ); in prvCreateDHCPv6Socket()
875 configASSERT( xSocketValid( xDHCPv6Socket ) == pdTRUE ); in prvCreateDHCPv6Socket()
879 …( void ) FreeRTOS_setsockopt( xDHCPv6Socket, 0, FREERTOS_SO_RCVTIMEO, &( xTimeoutTime ), sizeof( T… in prvCreateDHCPv6Socket()
880 …( void ) FreeRTOS_setsockopt( xDHCPv6Socket, 0, FREERTOS_SO_SNDTIMEO, &( xTimeoutTime ), sizeof( T… in prvCreateDHCPv6Socket()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Process/ |
| D | DHCPv6Process_harness.c | 47 extern Socket_t xDHCPv6Socket;
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCPv6/ |
| D | FreeRTOS_DHCPv6_stubs.c | 68 extern Socket_t xDHCPv6Socket;
444 xDHCPv6Socket = NULL; in InitializeUnitTest()
|
| D | FreeRTOS_DHCPv6_utest.c | 1705 xDHCPv6Socket = &xLocalDHCPv6Socket; in test_vDHCPv6Process_DHCPLeaseTimeout()
3290 xDHCPv6Socket = &xLocalDHCPv6Socket; in test_prvCloseDHCPv6Socket_CloseSocketWithoutCreate()
|
