Searched refs:xCopyPosition (Results 1 – 1 of 1) sorted by relevance
102 const BaseType_t xCopyPosition ) in xQueueGenericSend() argument110 __CPROVER_assert( !( ( xCopyPosition == queueOVERWRITE ) && ( xQueue->uxLength != 1 ) ), in xQueueGenericSend()
