IOMMU_PTE_PAGE   1401 drivers/iommu/amd_iommu.c 		p = (unsigned long)IOMMU_PTE_PAGE(pt[i]);			\
IOMMU_PTE_PAGE   1568 drivers/iommu/amd_iommu.c 		pte = IOMMU_PTE_PAGE(__pte);
IOMMU_PTE_PAGE   1617 drivers/iommu/amd_iommu.c 		pte	   = IOMMU_PTE_PAGE(*pte);
IOMMU_PTE_PAGE   1645 drivers/iommu/amd_iommu.c 	pt   = (unsigned long)IOMMU_PTE_PAGE(pteval);