Symbol: iprb_dma_alloc