ptechk            474 arch/x86/xen/p2m.c 	pte_t *ptechk;
ptechk            504 arch/x86/xen/p2m.c 		ptechk = lookup_address(vaddr, &level);
ptechk            505 arch/x86/xen/p2m.c 		if (ptechk == pte_pg) {