Symbol: os_dma_destroy