Searched refs:vtd_cap_reg (Results 1 – 1 of 1) sorted by relevance
507 uint64_t mgaw, vtd_cap_reg = 0; in pci_device_iommu_support_va() local526 if (fscanf(fp, "%" PRIx64, &vtd_cap_reg) != 1) { in pci_device_iommu_support_va()534 mgaw = ((vtd_cap_reg & VTD_CAP_MGAW_MASK) >> VTD_CAP_MGAW_SHIFT) + 1; in pci_device_iommu_support_va()