SV_PCI_DMAA
data = pci_read_config(dev, SV_PCI_DMAA, 4);
pci_write_config(dev, SV_PCI_DMAA, SV_PCI_DMA_EXTENDED, 4);
bus_set_resource(dev, SYS_RES_IOPORT, SV_PCI_DMAA, sdmaa, SV_PCI_DMAA_SIZE);
sc->dmaa_rid = SV_PCI_DMAA;
data = pci_read_config(dev, SV_PCI_DMAA, 4) | SV_PCI_DMA_ENABLE | SV_PCI_DMA_EXTENDED;
pci_write_config(dev, SV_PCI_DMAA, data, 4);
DEB(printf("dmaa: 0x%x 0x%x\n", data, pci_read_config(dev, SV_PCI_DMAA, 4)));