last_vpfn        2673 drivers/iommu/intel-iommu.c 	unsigned long last_vpfn = end >> VTD_PAGE_SHIFT;
last_vpfn        2676 drivers/iommu/intel-iommu.c 			  dma_to_mm_pfn(last_vpfn))) {
last_vpfn        2686 drivers/iommu/intel-iommu.c 	dma_pte_clear_range(domain, first_vpfn, last_vpfn);
last_vpfn        2689 drivers/iommu/intel-iommu.c 				first_vpfn, last_vpfn - first_vpfn + 1,
last_vpfn        4654 drivers/iommu/intel-iommu.c 	unsigned long start_vpfn, last_vpfn;
last_vpfn        4670 drivers/iommu/intel-iommu.c 		last_vpfn = mm_to_dma_pfn(mhp->start_pfn + mhp->nr_pages - 1);
last_vpfn        4671 drivers/iommu/intel-iommu.c 		while (start_vpfn <= last_vpfn) {
last_vpfn        4685 drivers/iommu/intel-iommu.c 						     start_vpfn, last_vpfn);
last_vpfn        4688 drivers/iommu/intel-iommu.c 					start_vpfn, last_vpfn);