IOMMU_DOMAIN_GAS_INITED
if ((iodom->flags & IOMMU_DOMAIN_GAS_INITED) != 0) {
domain->flags |= IOMMU_DOMAIN_GAS_INITED;
if ((domain->iodom.flags & IOMMU_DOMAIN_GAS_INITED) != 0) {
if ((domain->iodom.flags & IOMMU_DOMAIN_GAS_INITED) != 0) {