__DOMAIN_MAX_PFN   76 drivers/iommu/intel-iommu.c 				__DOMAIN_MAX_PFN(gaw), (unsigned long)-1))
__DOMAIN_MAX_PFN   77 drivers/iommu/intel-iommu.c #define DOMAIN_MAX_ADDR(gaw)	(((uint64_t)__DOMAIN_MAX_PFN(gaw)) << VTD_PAGE_SHIFT)