Home
last modified time | relevance | path

Searched refs:vSocketBind (Results 1 – 12 of 12) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/
DFreeRTOS_Sockets_DiffConfig_privates_utest.c145 xReturn = vSocketBind( &xSocket, NULL, uxAddressLength, xInternal ); in test_vSocketBind_TCP()
173 xReturn = vSocketBind( &xSocket, &xBindAddress, uxAddressLength, xInternal ); in test_vSocketBind_TCP1()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_SOCKET_SEND_WITHOUT_BIND/
DvSocketBind_harness.c65 vSocketBind( pxSocket, pxBindAddress, uxAddressLength, xInternal ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/DONT_ALLOW_SOCKET_SEND_WITHOUT_BIND/
DvSocketBind_harness.c69 vSocketBind( pxSocket, pxBindAddress, uxAddressLength, xInternal ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_ETHERNET_DRIVER_FILTERS_PACKETS/
DvSocketBind_harness.c67 vSocketBind( pxSocket, pxBindAddress, uxAddressLength, xInternal ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/
DFreeRTOS_Sockets_DiffConfig1_privates_utest.c145 catch_assert( vSocketBind( &xSocket, NULL, uxAddressLength, xInternal ) ); in test_vSocketBind_TCP()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DHCP/DHCPProcess/
DREADME.md26 * vSocketBind
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_privates_utest.c546 catch_assert( vSocketBind( NULL, &xBindAddress, uxAddressLength, xInternal ) ); in test_vSocketBind_CatchAssert1()
560 … catch_assert( vSocketBind( FREERTOS_INVALID_SOCKET, &xBindAddress, uxAddressLength, xInternal ) ); in test_vSocketBind_CatchAssert2()
586 xReturn = vSocketBind( &xSocket, &xBindAddress, uxAddressLength, xInternal ); in test_vSocketBind_TCP()
608 xReturn = vSocketBind( &xSocket, NULL, uxAddressLength, xInternal ); in test_vSocketBind_TCPNULLAddress()
633 xReturn = vSocketBind( &xSocket, &xBindAddress, uxAddressLength, xInternal ); in test_vSocketBind_RNGFails()
663 xReturn = vSocketBind( &xSocket, &xBindAddress, uxAddressLength, xInternal ); in test_vSocketBind_NonZeroPortNumber()
701 xReturn = vSocketBind( &xSocket, &xBindAddress, uxAddressLength, xInternal ); in test_vSocketBind_GotNULLItem()
735 xReturn = vSocketBind( &xSocket, &xBindAddress, uxAddressLength, xInternal ); in test_vSocketBind_GotANonNULLValue()
764 xReturn = vSocketBind( &xSocket, &xBindAddress, uxAddressLength, xInternal ); in test_vSocketBind_TCPGotAProperValue()
802 xReturn = vSocketBind( &xSocket, &xBindAddress, uxAddressLength, xInternal ); in test_vSocketBind_TCPGotAProperValuePortZero()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_IP_Private.h752 BaseType_t vSocketBind( FreeRTOS_Socket_t * pxSocket,
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_DHCP.c631 xReturn = vSocketBind( xDHCPSocket, &xAddress, sizeof( xAddress ), pdFALSE ); in prvCreateDHCPSocket()
DFreeRTOS_TCP_State_Handling.c1121 if( vSocketBind( pxNewSocket, &xAddress, sizeof( xAddress ), pdTRUE ) != 0 ) in prvTCPSocketCopy()
DFreeRTOS_IP.c363 ( void ) vSocketBind( pxSocket, &xAddress, sizeof( xAddress ), pdFALSE ); in prvProcessIPEventsAndTimers()
DFreeRTOS_Sockets.c1314 BaseType_t vSocketBind( FreeRTOS_Socket_t * pxSocket, in vSocketBind() function