pgcounter         919 drivers/iommu/exynos-iommu.c 		sysmmu_pte_t *sent, sysmmu_iova_t iova, short *pgcounter)
pgcounter         938 drivers/iommu/exynos-iommu.c 		*pgcounter = NUM_LV2ENTRIES;