__get_gcr3_pte   3526 drivers/iommu/amd_iommu.c 	pte = __get_gcr3_pte(domain->gcr3_tbl, domain->glx, pasid, true);
__get_gcr3_pte   3542 drivers/iommu/amd_iommu.c 	pte = __get_gcr3_pte(domain->gcr3_tbl, domain->glx, pasid, false);