pasid_set_translation_type  519 drivers/iommu/intel-pasid.c 	pasid_set_translation_type(pte, 1);
pasid_set_translation_type  584 drivers/iommu/intel-pasid.c 	pasid_set_translation_type(pte, 2);
pasid_set_translation_type  627 drivers/iommu/intel-pasid.c 	pasid_set_translation_type(pte, 4);