void *__DWC_DMA_ALLOC(void *dma_ctx, uint32_t size, dwc_dma_t *dma_addr)
{
#if 1 /* def xxCOSIM Only works for 32-bit cosim */
void *__DWC_DMA_ALLOC(void *dma_ctx, uint32_t size, dwc_dma_t *dma_addr)
{
#if 1 /* def xxCOSIM Only works for 32-bit cosim */