get_ptep          579 arch/parisc/kernel/cache.c 			pte_t *ptep = get_ptep(pgd, addr);
get_ptep          620 arch/parisc/kernel/cache.c 		pte_t *ptep = get_ptep(pgd, addr);