Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCP/
HDFreeRTOS_DHCP_utest.c29 extern Socket_t xDHCPv4Socket;
57 xDHCPv4Socket = &xTestSocket; in test_xIsDHCPSocket()
67 xReturn = xIsDHCPSocket( xDHCPv4Socket ); in test_xIsDHCPSocket()
69 xDHCPv4Socket = NULL; in test_xIsDHCPSocket()
130 xDHCPv4Socket = NULL; in test_vDHCPProcess_ResetAndInvalidSocket()
159 xDHCPv4Socket = NULL; in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketCreationFail()
186 TEST_ASSERT_EQUAL( NULL, xDHCPv4Socket ); in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketCreationFail()
204 xDHCPv4Socket = NULL; in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketSuccess()
237 TEST_ASSERT_EQUAL( &xTestSocket, xDHCPv4Socket ); in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketSuccess()
255 xDHCPv4Socket = NULL; in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketBindFail()
[all …]
HDFreeRTOS_DHCP_stubs.c29 extern Socket_t xDHCPv4Socket;
361 xDHCPv4Socket = NULL; in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage()
375 xDHCPv4Socket = NULL; in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage_TwoFlagOptions_nullbytes()
405 xDHCPv4Socket = NULL; in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage_TwoFlagOptions_nullbuffer()
444 xDHCPv4Socket = NULL; in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage_IncorrectDHCPCookie()
467 xDHCPv4Socket = NULL; in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage_IncorrectOpCode()
/FreeRTOS-Plus-TCP-v4.0.0/source/
HDFreeRTOS_DHCP.c68 _static Socket_t xDHCPv4Socket; variable
165 if( xDHCPv4Socket == xSocket ) in xIsDHCPSocket()
220 … else if( xDHCPv4Socket != NULL ) /* If there is a socket, check for incoming messages first. */ in vDHCPProcess()
227 while( xDHCPv4Socket != NULL ) in vDHCPProcess()
233 … lBytes = FreeRTOS_recvfrom( xDHCPv4Socket, &( pucUDPPayload ), 0, xRecvFlags, NULL, NULL ); in vDHCPProcess()
288 …lBytes = FreeRTOS_recvfrom( xDHCPv4Socket, &( pucUDPPayload ), 0, FREERTOS_ZERO_COPY, NULL, NULL ); in vDHCPProcess()
570 if( xDHCPv4Socket == NULL ) in xHandleWaitingFirstDiscover()
624 if( xDHCPv4Socket != NULL ) in prvHandleWaitingeLeasedAddress()
839 if( ( xDHCPv4Socket != NULL ) && ( xDHCPSocketUserCount > 0 ) ) in prvCloseDHCPSocket()
847 ( void ) vSocketClose( xDHCPv4Socket ); in prvCloseDHCPSocket()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcessEndPoint/
HDDHCPProcessEndPoint_harness.c51 extern Socket_t xDHCPv4Socket;
192 xDHCPv4Socket = FreeRTOS_socket( FREERTOS_AF_INET, FREERTOS_SOCK_DGRAM, FREERTOS_IPPROTO_UDP ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/
HDDHCPProcess_harness.c51 extern Socket_t xDHCPv4Socket;