| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/ |
| D | FreeRTOS_Sockets_DiffConfig_privates_utest.c | 77 xReturn = vSocketBind( &xSocket, NULL, uxAddressLength, xInternal ); in test_vSocketBind_TCP()
108 xReturn = vSocketBind( &xSocket, &xBindAddress, uxAddressLength, xInternal ); in test_vSocketBind_TCP1()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/ |
| D | FreeRTOS_Sockets_DiffConfig1_privates_utest.c | 66 catch_assert( vSocketBind( &xSocket, NULL, uxAddressLength, xInternal ) ); in test_vSocketBind_TCP()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_SOCKET_SEND_WITHOUT_BIND/ |
| D | vSocketBind_harness.c | 80 vSocketBind( pxSocket, pxBindAddress, uxAddressLength, xInternal ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketBind/DONT_ALLOW_SOCKET_SEND_WITHOUT_BIND/ |
| D | vSocketBind_harness.c | 84 vSocketBind( pxSocket, pxBindAddress, uxAddressLength, xInternal ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_ETHERNET_DRIVER_FILTERS_PACKETS/ |
| D | vSocketBind_harness.c | 82 vSocketBind( pxSocket, pxBindAddress, uxAddressLength, xInternal ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcessEndPoint/ |
| D | README.md | 26 * vSocketBind
|
| D | DHCPProcessEndPoint_harness.c | 91 BaseType_t vSocketBind( FreeRTOS_Socket_t * pxSocket, in vSocketBind() function
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6ProcessEndPoint/ |
| D | DHCPv6ProcessEndPoint_harness.c | 97 BaseType_t vSocketBind( FreeRTOS_Socket_t * pxSocket, in vSocketBind() function
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/ |
| D | DHCPProcess_harness.c | 95 BaseType_t vSocketBind( FreeRTOS_Socket_t * pxSocket, in vSocketBind() function
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Process/ |
| D | DHCPv6Process_harness.c | 110 BaseType_t vSocketBind( FreeRTOS_Socket_t * pxSocket, in vSocketBind() function
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_privates_utest.c | 542 catch_assert( vSocketBind( NULL, &xBindAddress, uxAddressLength, xInternal ) ); in test_vSocketBind_CatchAssert1()
556 … 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()
665 xReturn = vSocketBind( &xSocket, &xBindAddress, uxAddressLength, xInternal ); in test_vSocketBind_NonZeroPortNumber()
705 xReturn = vSocketBind( &xSocket, &xBindAddress, uxAddressLength, xInternal ); in test_vSocketBind_GotNULLItem()
739 xReturn = vSocketBind( &xSocket, &xBindAddress, uxAddressLength, xInternal ); in test_vSocketBind_GotANonNULLValue()
770 xReturn = vSocketBind( &xSocket, &xBindAddress, uxAddressLength, xInternal ); in test_vSocketBind_TCPGotAProperValue()
810 xReturn = vSocketBind( &xSocket, &xBindAddress, uxAddressLength, xInternal ); in test_vSocketBind_TCPGotAProperValuePortZero()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_IP_Private.h | 785 BaseType_t vSocketBind( FreeRTOS_Socket_t * pxSocket,
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_TCP_State_Handling.c | 1032 if( vSocketBind( pxNewSocket, &xAddress, sizeof( xAddress ), pdTRUE ) != 0 ) in prvTCPSocketCopy()
|
| D | FreeRTOS_DHCP.c | 891 xReturn = vSocketBind( xDHCPv4Socket, &xAddress, sizeof( xAddress ), pdFALSE ); in prvCreateDHCPSocket()
|
| D | FreeRTOS_DHCPv6.c | 887 xReturn = vSocketBind( xDHCPv6Socket, &xAddress, sizeof( xAddress ), pdFALSE ); in prvCreateDHCPv6Socket()
|
| D | FreeRTOS_IP.c | 369 ( void ) vSocketBind( pxSocket, &xAddress, sizeof( xAddress ), pdFALSE ); in prvProcessIPEventsAndTimers()
|
| D | FreeRTOS_Sockets.c | 1891 BaseType_t vSocketBind( FreeRTOS_Socket_t * pxSocket, in vSocketBind() function
|
