HelenOS sources

itc_pte_copy       86 kernel/arch/ia64/include/arch/mm/tlb.h extern void itc_pte_copy(pte_t *t);
itc_pte_copy      501 kernel/arch/ia64/src/mm/tlb.c 		itc_pte_copy(&t);
itc_pte_copy      700 kernel/arch/ia64/src/mm/tlb.c 		itc_pte_copy(&t);
itc_pte_copy      798 kernel/arch/ia64/src/mm/tlb.c 			itc_pte_copy(&t);