Searched refs:desc (Results 1 – 3 of 3) sorted by relevance
266 NetworkBufferDescriptor_t * desc = safeMalloc( sizeof( *desc ) ); in pxGetNetworkBufferWithDescriptor() local287 desc != NULL ) ); in pxGetNetworkBufferWithDescriptor()290 if( desc != NULL ) in pxGetNetworkBufferWithDescriptor()300 desc->pucEthernetBuffer = safeMalloc( size ); in pxGetNetworkBufferWithDescriptor()301 desc->xDataLength = desc->pucEthernetBuffer == NULL ? 0 : size; in pxGetNetworkBufferWithDescriptor()305 __CPROVER_assume( desc->pucEthernetBuffer != NULL ); in pxGetNetworkBufferWithDescriptor()312 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()
157 desc
