Home
last modified time | relevance | path

Searched refs:xInternal (Results 1 – 8 of 8) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/
DFreeRTOS_Sockets_DiffConfig_privates_utest.c138 BaseType_t xInternal = pdFALSE; in test_vSocketBind_TCP() local
145 xReturn = vSocketBind( &xSocket, NULL, uxAddressLength, xInternal ); in test_vSocketBind_TCP()
159 BaseType_t xInternal = pdFALSE; in test_vSocketBind_TCP1() local
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.c60 BaseType_t xInternal; in harness() local
65 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.c64 BaseType_t xInternal; in harness() local
69 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.c62 BaseType_t xInternal; in harness() local
67 vSocketBind( pxSocket, pxBindAddress, uxAddressLength, xInternal ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/
DFreeRTOS_Sockets_DiffConfig1_privates_utest.c138 BaseType_t xInternal = pdFALSE; in test_vSocketBind_TCP() local
145 catch_assert( vSocketBind( &xSocket, NULL, uxAddressLength, xInternal ) ); in test_vSocketBind_TCP()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_privates_utest.c544 BaseType_t xInternal = 0; in test_vSocketBind_CatchAssert1() local
546 catch_assert( vSocketBind( NULL, &xBindAddress, uxAddressLength, xInternal ) ); in test_vSocketBind_CatchAssert1()
558 BaseType_t xInternal; in test_vSocketBind_CatchAssert2() local
560 … catch_assert( vSocketBind( FREERTOS_INVALID_SOCKET, &xBindAddress, uxAddressLength, xInternal ) ); in test_vSocketBind_CatchAssert2()
572 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-v3.1.0/source/include/
DFreeRTOS_IP_Private.h755 BaseType_t xInternal );
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_Sockets.c1317 BaseType_t xInternal ) in vSocketBind() argument
1391 …if( ( ( xInternal == pdFALSE ) || ( pxSocket->ucProtocol != ( uint8_t ) FREERTOS_IPPROTO_TCP ) ) && in vSocketBind()