domain_pfn_supported  890 drivers/iommu/intel-iommu.c 	if (!domain_pfn_supported(domain, pfn))
domain_pfn_supported  975 drivers/iommu/intel-iommu.c 	BUG_ON(!domain_pfn_supported(domain, start_pfn));
domain_pfn_supported  976 drivers/iommu/intel-iommu.c 	BUG_ON(!domain_pfn_supported(domain, last_pfn));
domain_pfn_supported 1047 drivers/iommu/intel-iommu.c 	BUG_ON(!domain_pfn_supported(domain, start_pfn));
domain_pfn_supported 1048 drivers/iommu/intel-iommu.c 	BUG_ON(!domain_pfn_supported(domain, last_pfn));
domain_pfn_supported 1152 drivers/iommu/intel-iommu.c 	BUG_ON(!domain_pfn_supported(domain, start_pfn));
domain_pfn_supported 1153 drivers/iommu/intel-iommu.c 	BUG_ON(!domain_pfn_supported(domain, last_pfn));
domain_pfn_supported 2233 drivers/iommu/intel-iommu.c 	BUG_ON(!domain_pfn_supported(domain, iov_pfn + nr_pages - 1));