mm_pfn            158 drivers/iommu/intel-iommu.c static inline unsigned long mm_to_dma_pfn(unsigned long mm_pfn)
mm_pfn            160 drivers/iommu/intel-iommu.c 	return mm_pfn << (PAGE_SHIFT - VTD_PAGE_SHIFT);