Symbol: bcm_vk_dma_free