Symbol: gicv3_dma_alloc