Searched refs:pxEvent (Results 1 – 6 of 6) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ND/prvReturnICMP_IPv6/ |
| D | ReturnICMP_IPv6_harness.c | 76 BaseType_t xSendEventStructToIPTask( const IPStackEvent_t * pxEvent, in xSendEventStructToIPTask() argument
81 __CPROVER_assert( pxEvent != NULL, "The network buffer descriptor cannot be NULL." ); in xSendEventStructToIPTask()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/ |
| D | Sockets_DiffConfig_list_macros.h | 92 BaseType_t xSendEventStructToIPTask( const IPStackEvent_t * pxEvent,
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/ |
| D | Sockets_DiffConfig1_list_macros.h | 92 BaseType_t xSendEventStructToIPTask( const IPStackEvent_t * pxEvent,
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ND/prvProcessICMPMessage_IPv6/ |
| D | ProcessICMPMessage_IPv6_harness.c | 74 BaseType_t xSendEventStructToIPTask( const IPStackEvent_t * pxEvent, in xSendEventStructToIPTask() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_IP.c | 1377 BaseType_t xSendEventStructToIPTask( const IPStackEvent_t * pxEvent, in xSendEventStructToIPTask() argument
1383 if( ( xIPIsNetworkTaskReady() == pdFALSE ) && ( pxEvent->eEventType != eNetworkDownEvent ) ) in xSendEventStructToIPTask()
1395 if( pxEvent->eEventType == eTCPTimerEvent ) in xSendEventStructToIPTask()
1421 xReturn = xQueueSendToBack( xNetworkEventQueue, pxEvent, uxUseTimeout ); in xSendEventStructToIPTask()
1426 … FreeRTOS_debug_printf( ( "xSendEventStructToIPTask: CAN NOT ADD %d\n", pxEvent->eEventType ) ); in xSendEventStructToIPTask()
1427 iptraceSTACK_TX_EVENT_LOST( pxEvent->eEventType ); in xSendEventStructToIPTask()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_IP_Private.h | 839 BaseType_t xSendEventStructToIPTask( const IPStackEvent_t * pxEvent,
|
