ia64_get_ptce     360 arch/ia64/kernel/palinfo.c 	if ((status = ia64_get_ptce(&ptce)) != 0) {
ia64_get_ptce     386 arch/ia64/mm/tlb.c 	ia64_get_ptce(&ptce_info);