__DOMAIN_MAX_ADDR 5195 drivers/iommu/intel-iommu.c 				__DOMAIN_MAX_ADDR(dmar_domain->gaw);
__DOMAIN_MAX_ADDR 5460 drivers/iommu/intel-iommu.c 		end = __DOMAIN_MAX_ADDR(dmar_domain->gaw) + 1;