pci_dvma_range_prop_t
pci_dvma_range_prop_t pci_dvma_range;
pci_dvma_range_prop_t *dvma_prop;
if (dvma_prop_len != sizeof (pci_dvma_range_prop_t)) {
pci_dvma_range_prop_t *dvma_prop;
if (dvma_prop_len != sizeof (pci_dvma_range_prop_t)) {