Searched refs:xDHCPSocket (Results 1 – 3 of 3) sorted by relevance
26 extern Socket_t xDHCPSocket;388 xDHCPSocket = &xTestSocket; in test_xIsDHCPSocket()397 xReturn = xIsDHCPSocket( xDHCPSocket ); in test_xIsDHCPSocket()459 xDHCPSocket = NULL; in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketCreationFail()482 TEST_ASSERT_EQUAL( NULL, xDHCPSocket ); in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketCreationFail()499 xDHCPSocket = NULL; in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketBindFail()529 TEST_ASSERT_EQUAL( NULL, xDHCPSocket ); in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketBindFail()546 xDHCPSocket = NULL; in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketSuccess()574 TEST_ASSERT_EQUAL( &xTestSocket, xDHCPSocket ); in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketSuccess()591 xDHCPSocket = &xTestSocket; in test_vDHCPProcess_ResetAndIncorrectStateWithSocketAlreadyCreated()[all …]
58 _static Socket_t xDHCPSocket; variable141 if( xDHCPSocket == xSocket ) in xIsDHCPSocket()230 if( xDHCPSocket == NULL ) in vDHCPProcess()514 if( xDHCPSocket != NULL ) in vDHCPProcess()595 if( xDHCPSocket != NULL ) in prvCloseDHCPSocket()599 ( void ) vSocketClose( xDHCPSocket ); in prvCloseDHCPSocket()600 xDHCPSocket = NULL; in prvCloseDHCPSocket()615 if( xDHCPSocket == NULL ) in prvCreateDHCPSocket()617 … xDHCPSocket = FreeRTOS_socket( FREERTOS_AF_INET, FREERTOS_SOCK_DGRAM, FREERTOS_IPPROTO_UDP ); in prvCreateDHCPSocket()622 if( xDHCPSocket != FREERTOS_INVALID_SOCKET ) in prvCreateDHCPSocket()[all …]
47 extern Socket_t xDHCPSocket;100 __CPROVER_assume( xDHCPSocket != NULL ); in harness()
