Searched refs:pvItemToQueue (Results 1 – 2 of 2) sorted by relevance
100 const void * const pvItemToQueue, in xQueueGenericSend() argument108 … __CPROVER_assert( !( ( pvItemToQueue == NULL ) && ( xQueue->uxItemSize != ( UBaseType_t ) 0U ) ), in xQueueGenericSend()
20 const void * pvItemToQueue, in prvCopyDataToQueue() argument25 …__CPROVER_assert( __CPROVER_r_ok( pvItemToQueue, ( size_t ) pxQueue->uxItemSize ), "pvItemToQueue … in prvCopyDataToQueue()
