pte_tbl          1140 arch/x86/xen/mmu_pv.c 	pte_t *pte_tbl;
pte_tbl          1149 arch/x86/xen/mmu_pv.c 	pte_tbl = pte_offset_kernel(pmd, 0);
pte_tbl          1151 arch/x86/xen/mmu_pv.c 		if (pte_none(pte_tbl[i]))
pte_tbl          1153 arch/x86/xen/mmu_pv.c 		pa = pte_pfn(pte_tbl[i]) << PAGE_SHIFT;
pte_tbl          1157 arch/x86/xen/mmu_pv.c 	xen_cleanmfnmap_free_pgtbl(pte_tbl, unpin);