vtisochctrl      6084 drivers/iommu/intel-iommu.c 	uint32_t vtisochctrl;
vtisochctrl      6099 drivers/iommu/intel-iommu.c 	if (pci_read_config_dword(pdev, 0x188, &vtisochctrl)) {
vtisochctrl      6107 drivers/iommu/intel-iommu.c 	if (vtisochctrl & 1)
vtisochctrl      6111 drivers/iommu/intel-iommu.c 	vtisochctrl &= 0x1c;
vtisochctrl      6114 drivers/iommu/intel-iommu.c 	if (vtisochctrl == 0x10)
vtisochctrl      6118 drivers/iommu/intel-iommu.c 	if (!vtisochctrl) {
vtisochctrl      6129 drivers/iommu/intel-iommu.c 	       vtisochctrl);