| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/ |
| D | FreeRTOS_Sockets_DiffConfig_privates_utest.c | 70 BaseType_t xInternal = pdFALSE; in test_vSocketBind_TCP() local
77 xReturn = vSocketBind( &xSocket, NULL, uxAddressLength, xInternal ); in test_vSocketBind_TCP()
91 BaseType_t xInternal = pdFALSE; in test_vSocketBind_TCP1() local
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 | 58 BaseType_t xInternal = pdFALSE; in test_vSocketBind_TCP() local
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 | 75 BaseType_t xInternal; in harness() local
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 | 79 BaseType_t xInternal; in harness() local
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 | 77 BaseType_t xInternal; in harness() local
82 vSocketBind( pxSocket, pxBindAddress, uxAddressLength, xInternal ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_privates_utest.c | 540 BaseType_t xInternal = 0; in test_vSocketBind_CatchAssert1() local
542 catch_assert( vSocketBind( NULL, &xBindAddress, uxAddressLength, xInternal ) ); in test_vSocketBind_CatchAssert1()
554 BaseType_t xInternal; in test_vSocketBind_CatchAssert2() local
556 … catch_assert( vSocketBind( FREERTOS_INVALID_SOCKET, &xBindAddress, uxAddressLength, xInternal ) ); in test_vSocketBind_CatchAssert2()
568 BaseType_t xInternal = pdFALSE; in test_vSocketBind_TCP() local
586 xReturn = vSocketBind( &xSocket, &xBindAddress, uxAddressLength, xInternal ); in test_vSocketBind_TCP()
600 BaseType_t xInternal = pdFALSE; in test_vSocketBind_TCPNULLAddress() local
608 xReturn = vSocketBind( &xSocket, NULL, uxAddressLength, xInternal ); in test_vSocketBind_TCPNULLAddress()
622 BaseType_t xInternal = pdFALSE; in test_vSocketBind_RNGFails() local
633 xReturn = vSocketBind( &xSocket, &xBindAddress, uxAddressLength, xInternal ); in test_vSocketBind_RNGFails()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6ProcessEndPoint/ |
| D | DHCPv6ProcessEndPoint_harness.c | 100 BaseType_t xInternal ) in vSocketBind() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcessEndPoint/ |
| D | DHCPProcessEndPoint_harness.c | 94 BaseType_t xInternal ) in vSocketBind() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/ |
| D | DHCPProcess_harness.c | 98 BaseType_t xInternal ) in vSocketBind() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Process/ |
| D | DHCPv6Process_harness.c | 113 BaseType_t xInternal ) in vSocketBind() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCPv6/ |
| D | FreeRTOS_DHCPv6_stubs.c | 165 BaseType_t xInternal, in xStubvSocketBind() argument
172 TEST_ASSERT_EQUAL( pdFALSE, xInternal ); in xStubvSocketBind()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_IP_Private.h | 788 BaseType_t xInternal );
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_Sockets.c | 158 BaseType_t xInternal );
1791 BaseType_t xInternal ) in prvSocketBindAdd() argument
1797 …if( ( ( xInternal == pdFALSE ) || ( pxSocket->ucProtocol != ( uint8_t ) FREERTOS_IPPROTO_TCP ) ) && in prvSocketBindAdd()
1894 BaseType_t xInternal ) in vSocketBind() argument
1965 xReturn = prvSocketBindAdd( pxSocket, pxAddress, pxSocketList, xInternal ); in vSocketBind()
|
