integrator_pci_dma_init
integrator_pci_dma_init(&ifpga_pci_bus_dma_tag);
void integrator_pci_dma_init(bus_dma_tag_t);