Searched refs:desc (Results 1 – 3 of 3) sorted by relevance
267 NetworkBufferDescriptor_t * desc = safeMalloc( sizeof( *desc ) ); in pxGetNetworkBufferWithDescriptor() local288 desc != NULL ) ); in pxGetNetworkBufferWithDescriptor()291 if( desc != NULL ) in pxGetNetworkBufferWithDescriptor()301 desc->pucEthernetBuffer = safeMalloc( size ); in pxGetNetworkBufferWithDescriptor()302 desc->xDataLength = desc->pucEthernetBuffer == NULL ? 0 : size; in pxGetNetworkBufferWithDescriptor()306 __CPROVER_assume( desc->pucEthernetBuffer != NULL ); in pxGetNetworkBufferWithDescriptor()313 return desc; in pxGetNetworkBufferWithDescriptor()
414 struct eth_descriptor volatile * desc; in numaker_eth_trigger_tx() local417 …desc = cur_tx_desc_ptr->next; /* in case TX is transmitting and overwrite next pointer before we c… in numaker_eth_trigger_tx()419 cur_tx_desc_ptr = desc; in numaker_eth_trigger_tx()
179 desc
